Logic programming /

Logic programming /

57

Bibliographic Details
Main Authors:	Levi, Giorgio, Martelli, Maurizio, International Conference on Logic Programming (6th : 1989 : Library Portugal)
Format:
Published:	Cambridge, Mass. : MIT Pr, 1989
Subjects:	Logic programming

Similar Items

Logic programming /
by: Lassez, Jean-Loius, et al.
Published: (1987)

Logic programming : proceedings of the fifth international conference and symposium /
by: Kowalski, Robert, et al.
Published: (c198)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
by: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), et al.
Published: (2007)

Natural language understanding and logic programming, II /
by: International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver), et al.
Published: (1988)

Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 /
by: Fuji International Workshop on Functional and Logic Programming (1995 : Susono, Japan), et al.
Published: (1995)

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. /
by: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal), et al.
Published: (2007)

Algebraic and logic programming /
by: Grabowski, J., et al.
Published: (1988)

Constructing logic programs /
by: Jacquet, J. M.
Published: (1993)

Programming logic and design, introductory /
by: Farrell, Joyce 171606
Published: (2008)

PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE /
by: Farrell, Joyce1, author
Published: (2018)

Programming Logic and Design : Comprehensive /
by: Farrell, Joyce., et al.
Published: (c200)

Programming logic and design : introductory /
by: Farrell, Joyce 171606
Published: (2008)

Programming logic and design : introductory /
by: Farrell, Joyce 171606
Published: (2002)

Programming logic and design, comprehensive /
by: Farrell, Joyce 171606
Published: (2002)

Programming logic and design, comprehensive /
by: Farrell, Joyce 171606
Published: (2008)

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012 /
by: International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China), et al.
Published: (2012)

Logic Programming & Type Theory /
by: Singleton, Velva, author 640075, et al.
Published: (2012)

Logic programming : new frontiers /
by: Brough, D. R.
Published: (1992)

Programming logic and design, introductory version /
by: Farrell, Joyce, author
Published: (2014)

Programming logic and design, comprehensive version /
by: Farrell, Joyce 171606
Published: (2014)

Programming logic and design [electronics resource] /
by: Farrell, Joyce 171606
Published: (2008)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
by: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Published: (1998)

Digital logic simulation with CPLD programming /
by: 322760 Waterman, Steve
Published: (2003)

A grammatical view of logic programming /
by: 307548 Deransart, Pierre, et al.
Published: (1993)

Programming logic and design [electronic resource] : introductory /
by: Farrell, Joyce 171606
Published: (2008)

Java programs to accompany programming logic and design /
by: Smith, Jo Ann, author
Published: (c201)

A History of Probabilistic Inductive Logic Programming
by: Fabrizio eRiguzzi, et al.
Published: (2014-09-01)

Logic, methodology and philosophy of science IV : proceedings /
by: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Published: (1973)

Computing with logic : logic programming with Prolog /
by: 401449 Maier, David
Published: (1988)

Logic programming : formal methods and practical applications /
by: Beierle, Christoph, et al.
Published: (1995)

Logic program synthesis from incomplete information /
by: 380653 Flener, Pierre
Published: (1995)

Multiprocessor execution of logic programs /
by: 444034 Gupta, Gopal
Published: (1994)

Logical foundations and implementation of an extension of temporal logic
by: María Laura Cobo, et al.
Published: (2000-03-01)

Anaphora: Analysis, Algorithms and Applications [electronic resources]: 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers/
by: Discourse Anaphora and Anaphor Resolution Colloquium (6th : 2007 : Lagos, Portugal), et al.
Published: (2007)

Foundations of logic programming /
by: 269625 Lloyd, J. W. (John Wylie), 1947-
Published: (1987)

Parallel logic programming /
by: 359152 Takeuchi, Akikazu
Published: (1992)

Logic programming : systematic program development /
by: 385113 Deville, Yves
Published: (1990)

An object-oriented approach to programming logic and design /
by: Farrell, Joyce 171606
Published: (c201)

Deductive databases and logic programming /
by: 354881 Das, Subrata Kumar
Published: (1992)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal 409791, et al.
Published: (c201)