Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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