Computational logic essays in honor of Alan Robinson

Computational logic essays in honor of Alan Robinson

Saved in:

Bibliographic Details
Other Authors:	Robinson, J. A. (John Alan, Lassez, Jean-Louis, Plotkin, G. (Gordonc1946-
Format:	Book
Published:	Cambridge, Mass. MIT Press 1991
Subjects:	Robinson, J. A. > (John Alan Automatic theorem proving 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

Computational logic logic programming and beyond
Published: (2002)

First-order logic and automated theorem proving
by: Fitting, Melvin 1942-
Published: (1996)

Principles of automated theorem proving
by: Duffy, David A
Published: (1991)

A proof theory for general unification
by: Snyder, Wayne 1955 - .
Published: (1991)

The resolution calculus
by: Leitsch, Alexander
Published: (1997)

Automated theorem proving theory and practice
by: Newborn, Monroe
Published: (2001)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

Automated reasoning 33 basic research problems
by: Wos, Larry
Published: (1988)

The automation of reasoning an experimenter's notebook with OTTER tutorial
by: Wos, Larry
Published: (1996)

Automated theorem proving in software engineering
by: Schumann, Johann M 1960-
Published: (2001)

Handbook of automated reasoning
Published: (2001)

The Computer modelling of mathematical reasoning
by: Bundy, Allan
Published: (1983)

Diagrammatic representation and reasoning
Published: (2002)

Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
Published: (1992)

Automated reasoning introduction and applications
Published: (1992)

Proof in VDM a practitioner's guide
Published: (1994)

Automated deduction in geometry revised papers, September 25 - 27, 2000
Published: (2001)

The economics of Joan Robinson
Published: (1996)

The Oxford handbook of human capital
Published: (2011)

Alan J. Pakula his films and his life
by: Brown, Jared
Published: (2005)

Alan Davie
by: Davie, Alan
Published: (1963)

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

Fuzzy logic
Published: (1996)

The incompleteness phenomenon a new course in mathematical logic
by: Goldstern, Martin
Published: (1995)

Logic programming
Published: (1982)

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

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

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

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

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

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

Logic programming new frontiers
Published: (1992)

Logical design of automation systems
by: Freidman, Sander B 1927-
Published: (1990)

Heath Robinson; artist and comic genius
by: Lewis, John Noel Claude 1912-
Published: (1973)

Constructing logic programs
Published: (1993)

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

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

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

Alan Bennett a critical introduction
by: O'Mealy, Joseph H. 1948-
Published: (2001)

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