Introductory logic and formal methods

Introductory logic and formal methods

Saved in:

Bibliographic Details
Main Author:	Heath, David
Other Authors:	Allum, Derek, Dunckley, Lynne
Format:	Book
Published:	London Alfred Waller 1994
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

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

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

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

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

Modern formal logic
by: McKay, Thomas J.
Published: (1989)

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

Logic programming
Published: (1982)

An introductory logic
by: Kilgore, William J. 1917- (William Jackson)
Published: (1968)

Programming logic and design comprehensive
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)

Logic programming new frontiers
Published: (1992)

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

Constructing logic programs
Published: (1993)

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

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

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

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

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

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

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

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)

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

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

Computational logic logic programming and beyond
Published: (2002)

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)

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

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

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)

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

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)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

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

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

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

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