Logic programming formal methods and practical applications

Logic programming formal methods and practical applications

Saved in:

Bibliographic Details
Other Authors:	Beierle, Christoph l954-, Plumer, Lutz
Format:	Unknown
Published:	Amsterdam Elsevier l995
Series:	Studies in computer science and artificial intelligence ll
Subjects:	Logic programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic programming
Published: (1982)

Introductory logic and formal methods
by: Heath, David
Published: (1994)

Logic programming new frontiers
Published: (1992)

Programming logic and design introductory
by: Farrell, Joyce
Published: (2006)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

Programming logic and design introductory
by: Farrell, Joyce
Published: (2004)

PROGRAMMING LOGIC AND DESIGN COMPREHENSIVE
by: Farrell, Joyce
Published: (2018)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2013)

Constructing logic programs
Published: (1993)

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

Logic programming proceedings of the joint International Conference and Symposium on Logic Programming
Published: (1992)

Foundations of equational logic programming
by: Holldobler, Steffen 1957-
Published: (1989)

The Logic programming paradigm a 25-year perspective
Published: (1999)

Programming logic and design, introductory version
by: Farrell, Joyce
Published: (2015)

Programming logic and design, comprehensive version
by: Farrell, Joyce
Published: (2015)

A guide to programming logic and design introductory
by: Farell, Joyce
Published: (1999)

A guide to programming logic and design comprehensive
by: Farrel, Joyce
Published: (1999)

Logic programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
Published: (1992)

A beginner's guide to programming logic and design comprehensive
by: Farrell, Joyce
Published: (2010)

Logic programming languages constraints, functions, and objects
Published: (1993)

Logic program synthesis from incomplete information
by: Flener, Pierre 1964-
Published: (1995)

Logic programming and databases
by: Ceri, Stefano 1955-
Published: (1990)

Logic programming 23rd international conference, ICLP, Porto, Portugal, September 8-13, 2007. proceedings
Published: (2007)

Inductive logic programming proceedings of the ...held July 24 - 27, 2000
Published: (2000)

From standard logic to logic programming introducing a logic based approach to artificial intelligence
Published: (1988)

Parallel logic programming
by: Tick, Evan 1959-
Published: (1991)

Logic programming '88 proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
Published: (1989)

Meta-programming in logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
Published: (1992)

Computational logic logic programming and beyond
Published: (2002)

Foundations of logic programming
by: Lloyd, J. W. (John Wylied1947-
Published: (1984)

The Journal of logic programming
Published: (1984)

The journal of logic and algebraic programming
Published: (2001)

Logic based program synthesis and transformation selected papers July 24 - 28, 2000
Published: (2001)

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

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

Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988)

Computation as logic
by: Lalement, Rene
Published: (1993)

Logic and declarative language
by: Downward, Michael
Published: (1998)

Logic and declarative language
by: Downward, Michael
Published: (1998)

Logical methods in honor of Anil Nerode's sixtieth birthday
Published: (1993)