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

Logic programming proceedings of the twelfth International Conference on Logic Programming
Veröffentlicht: (1995)

Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985
Veröffentlicht: (1985)

Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980
Veröffentlicht: (1980)

Distributed constraint logic programming
von: Leung, Ho-Fung
Veröffentlicht: (1993)

Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings
Veröffentlicht: (2000)

Functional and logic programming 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11 - 13, 1999 ; proceedings
Veröffentlicht: (1999)

Prolog versus you an introduction to logic programming
von: Johansson, Anna-Lena, et al.
Veröffentlicht: (1989)

Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings
Veröffentlicht: (1999)

Logic for programming and automated reasoning 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings
Veröffentlicht: (2000)

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994 ; proceedings
Veröffentlicht: (1994)

Algebraic and logic programming second international conference, Nancy, France, October 1 - 3, 1990 ; proceedings
Veröffentlicht: (1990)

Functional programming languages in education first international symposium, FPLE '95, Nijmegen, The Netherlands, December 4-6, 1995 ; proceedings
Veröffentlicht: (1995)

Implementation of functional languages 12th international workshop, IFL 2000, Aachen, Germany, September 4 - 7, 2000 ; selected papers
Veröffentlicht: (2001)

Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings
Veröffentlicht: (2000)

Foundations of logic programming
von: Lloyd, John W.
Veröffentlicht: (1987)

Semantics of specification languages (SoSL) ; proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993
Veröffentlicht: (1994)

A grammatical view of logic programming
von: Deransart, Pierre, et al.
Veröffentlicht: (1993)

Essentials of logic programming
von: Hogger, Christopher J.
Veröffentlicht: (1990)

The denotational description of programming languages an introduction
von: Gordon, Michael J. C. 1948-
Veröffentlicht: (1979)

Formal specification of programming languages A panoramic primer
von: Pagan, Frank G.
Veröffentlicht: (1981)

Formal specification of programming languages a panoramic primer
von: Pagan, Frank G.
Veröffentlicht: (1981)

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98) Baltimore, Maryland, USA September 27 - 29, 1998
Veröffentlicht: (1999)

Parallel logic programming
von: Tick, Evan
Veröffentlicht: (1991)

Introduction to logic programming
von: Hogger, Christopher J.
Veröffentlicht: (1984)

Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings
Veröffentlicht: (2001)

Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
Veröffentlicht: (1999)

Computers and languages theory and practice
von: Nijholt, Anton 1946-
Veröffentlicht: (1988)

Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers
Veröffentlicht: (1996)

Proceedings September 22 - 25, 1986, Westin Hotel Utah, Salt Lake City, Utah ; :- sym (3, slp, 86, slc, ut).
Veröffentlicht: (1986)

Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers
Veröffentlicht: (2002)

Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings
Veröffentlicht: (1996)

Languages for sensor-based control in robotics
Veröffentlicht: (1987)

Principles and practice of declarative programming International Conference PPDP '99, Paris, France, September 29 - October 1, 1999 ; proceedings
Veröffentlicht: (1999)

Coroutines a programming methodology, a language design and an implementation
von: Marlin, Christopher D.
Veröffentlicht: (1980)

Logic program synthesis from incomplete information
von: Flener, Pierre 1964-
Veröffentlicht: (1995)

Control flow semantics
von: Bakker, Jacobus W. de 1939-2012, et al.
Veröffentlicht: (1996)