Listing 1 - 10 of 99 | << page >> |
Sort by
|
Choose an application
Choose an application
Programming --- Computer science --- Z (Computer program language) --- 681.3*F43 --- Programming languages (Electronic computers) --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31}
Choose an application
Formal languages --- 681.3*F43 --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formalization (Linguistics) --- Language and languages --- Machine theory
Choose an application
Mathematical linguistics --- Computer science --- complexe analyse (wiskunde) --- Formal languages --- Langages formels --- 510.5 --- #TCPW P3.0 --- 681.3*F43 --- Formalization (Linguistics) --- Language and languages --- Machine theory --- Algorithms. Computable functions --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages. --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 510.5 Algorithms. Computable functions
Choose an application
Computer science --- 681.3*F43 --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages --- Computer programming --- Langages formels --- Programmation (Informatique) --- Computer science. --- Software engineering. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Informatics --- Science
Choose an application
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*D31 --- 681.3*I23 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Computer science. --- Programming Techniques. --- Informatics --- Science --- Functional programming --- Unification --- Rewriting System --- Lncs --- Logic programming
Choose an application
Programming --- Programming languages (Electronic computers) --- Langages de programmation --- Syntax --- Syntaxe --- -#TCPW P4.0 --- #TCPW P4.1 --- 681.3*D31 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Syntax. --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- #TCPW P4.0 --- Informatique --- Computer science --- Langages formels --- Formal languages --- Programming languages (Electronic computers) - Syntax
Choose an application
Programming languages (Electronic computers) --- Semantics --- Family violence --- -Family violence --- -681.3*D31 --- Domestic violence --- Household violence --- Interparental violence --- Intrafamily violence --- Violence --- Prevention --- Research --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Semantics. --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Langages de programmation --- Sémantique --- 681.3*D31 --- Programming language semantics --- Informatique --- Computer science --- Sémantique --- Programming languages (Electronic computers) - Semantics
Choose an application
Programming languages (Electronic computers) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- #TCPW:boek --- #ZR ////// ZAIREES RECHT ////// --- 681.3*D31 --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Programming --- Informatique --- Computer science --- Langages de programmation --- Computer science. --- Sémantique --- Informatique theorique --- Programmation logique
Choose an application
Computer science --- 681.3*A0 --- 681.3*F43 --- 681.3*J3 --- 681.3*J7 --- General --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Life and medical sciences (Computer applications) --- Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- 681.3*J7 Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- 681.3*J3 Life and medical sciences (Computer applications) --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*A0 General --- Computer software. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems
Listing 1 - 10 of 99 | << page >> |
Sort by
|