Imagen de Portada

From logic to logic programming /

Guardado en:

Autor Principal:	Doets, Kees.
Formato:	Libro
Idioma:	English
Publicado:	Cambridge, Mass. : MIT Press, c1994.
Series:	Foundations of computing
Materias:	Logic programming.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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)

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

Advances in logic programming theory /
Publicado: (1994)

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

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

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

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

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

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

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

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

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)

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

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

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

Logic programming : proceedings of the ... international conference.
Publicado: (1987)

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

An introduction to logic programming through Prolog /
por: Spivey, J. M.
Publicado: (1996)

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

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

Logic programming : formal methods and practical applications /
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)

Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings /
Publicado: (1993)

1987 Symposium on Logic Programming : proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California /
Publicado: (1987)

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

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

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

Inductive logic programming /
Publicado: (1992)

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

Functional and logic programming : proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996 /
Publicado: (1997)

Logic programming with Prolog /
por: Bramer, M. A. 1948-
Publicado: (2013)

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

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
Publicado: (1997)

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Publicado: (2007)

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings /
Publicado: (2005)