Imagen de Portada

Computational logic : essays in honor of Alan Robinson /

Guardado en:

Otros Autores:	Robinson, J. A., Lassez, Jean-Louis., Plotkin, G. 1946-
Formato:	Libro
Idioma:	English
Publicado:	Cambridge, Mass. : MIT Press, c1991.
Materias:	Robinson, J. A. > (John Alan) Automatic theorem proving. Logic programming.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Gems of theoretical computer science /
por: Schöning, Uwe, 1955-
Publicado: (1998)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Publicado: (1994)

First-order logic and automated theorem proving /
por: Fitting, Melvin, 1942-
Publicado: (1996)

Logic programming : operational semantics and proof theory /
por: Andrews, James H.
Publicado: (1992)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
por: Bertot, Yves.
Publicado: (2004)

Automated reasoning : introduction and applications /
Publicado: (1984)

Automated practical reasoning : algebraic approaches /
Publicado: (1995)

Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang, 1937-
Publicado: (1973)

The automation of reasoning : an experimenter's notebook with OTTER tutorial /
por: Wos, Larry.
Publicado: (1996)

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

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

Computation as logic /
por: Lalement, René.
Publicado: (1993)

Computing with logic : logic programming with Prolog /
por: Maier, David, 1953-
Publicado: (1988)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

Meta-logics and logic programming /
Publicado: (1995)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

Logic and objects /
por: McCabe, F. G. 1953-
Publicado: (1992)

Time and logic : a computational approach /
Publicado: (1995)

Logic and declarative language /
por: Downward, Michael.
Publicado: (1998)

Essentials of logic programming /
por: Hogger, Christopher John.
Publicado: (1990)

Advances in logic programming theory /
Publicado: (1994)

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996)

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

A grammatical view of logic programming /
por: Deransart, Pierre.
Publicado: (1993)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

Inductive logic programming : from machine learning to software engineering /
por: Bergadano, Francesco, 1963-
Publicado: (1996)

Logic programming : proceedings of the 1991 international symposium /
Publicado: (1991)

Deductive databases and logic programming /
por: Das, Subrata Kumar.
Publicado: (1992)

Logic programming : proceedings of the 1990 North American conference /
Publicado: (1990)

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

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
Publicado: (2004)

From logic programming to Prolog /
por: Apt, Krzysztof R., 1949-
Publicado: (1997)

Logic, programming, and Prolog /
por: Nilsson, Ulf, 1961-
Publicado: (1995)

Logic, programming, and Prolog /
por: Nilsson, Ulf, 1961-
Publicado: (1990)

Foundations of logic programming /
por: Lloyd, J. W. 1947-
Publicado: (1987)

Constraint logic programming : selected research /
Publicado: (1993)

Proof and computation /
Publicado: (1995)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Publicado: (1994)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Publicado: (1996)