Author books / Книги автора David S. Warren,Veronica Dahl,Thomas Eiter,Manuel V. Hermenegildo,Robert Kowalski,Francesca Rossi » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора David S. Warren,Veronica Dahl,Thomas Eiter,Manuel V. Hermenegildo,Robert Kowalski,Francesca Rossi

book Prolog: The Next 50 Years

Prolog: The Next 50 Years

epub

Author: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
Language: English
Year: 2023

00

01.03.2024

0

0

book Prolog: The Next 50 Year

Prolog: The Next 50 Year

pdf

Author: David S. Warren Veronica Dahl Thomas Eiter Manuel V. Hermenegildo Robert Kowalski Francesca Rossi
Language: English
Year: 2023

00

16.02.2024

0

0

book Logic Grammars

pdf

Author: Harvey Abramson Veronica Dahl (auth.)
Language: English
Year: 1989

00

06.02.2024

0

0

book Constraints and Language

Constraints and Language

pdf

Author: Philippe Blache, Henning Christiansen, Veronica Dahl, Denys Duchier, Jorgen Villadsen
Language: English
Year: 2014

00

30.01.2024

0

0

book Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

pdf

Author: Leonor Becerra-Bonache Veronica Dahl (auth.) Denys Duchier Yannick Parmentier (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

pdf

Author: John Alan Robinson (auth.) John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Natural language understanding and logic programming : proceedings of the 1st Internat. Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 sept., 1984

Natural language understanding and logic programming : proceedings of the 1st Internat. Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 sept., 1984

djvu

Author: Veronica Dahl, International Workshop on Natural Language Understanding and Logic Programming (1 1984 Rennes) (eds.)
Language: English
Year: 1985

00

27.01.2024

0

0

book Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

djvu

Author: Veronica Dahl, Patrick Saint-Dizier
Language: English
Year: 1988

00

27.01.2024

0

0

book Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

pdf

Author: David Page (auth.) Veronica Dahl Philip Wadler (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

pdf

Author: John Alan Robinson (auth.) John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0