Logic and declarative language

Logic and declarative language

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Downward, Michael
Format:	Unknown
Published:	London Taylor and Francis 1998
Subjects:	Logic programming Declarative 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 and declarative language
by: Downward, Michael
Published: (1998)

America declares independence
by: Dershowitz, Alan M
Published: (2003)

Declarations of trust a draftsman's handbook
Published: (2005)

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

Logic programming
Published: (1982)

Logic programming new frontiers
Published: (1992)

Constructing logic programs
Published: (1993)

Logic programming formal methods and practical applications
Published: (1995)

The unromantics the Great Powers and the Balfour Declaration
by: Kimche, Jon
Published: (1968)

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)

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

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

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

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

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 proceedings of the joint International Conference and Symposium on Logic Programming
Published: (1992)

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

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

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

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)

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

Computational logic logic programming and beyond
Published: (2002)

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

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

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

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)

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

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

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

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

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

Mathematical logic and programming languages
Published: (1985)

Cannot write session to /tmp/vufind_sessions/sess_cehka1rbtsvgjlsf2tlu5m1fnd