Imagen de Portada

Logic programming : expanding the horizons /

Guardado en:

Autor Principal:	Tony Dood.
Otros Autores:	Richard Owens.
Formato:	Libro
Idioma:	Undetermined
Publicado:	London ; New Jersey : Intellect books : Ablex, c1991.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Expanding Horizons in Bioethics
por: Galston, Arthur W.
Publicado: (2005)

Logic programming : new frontiers /
Publicado: (1992)

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

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

Logic programming : formal methods and practical applications /
Publicado: (1995)

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

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

Logic Programming with Prolog
por: Bramer, Max.
Publicado: (2005)

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

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)

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

Advances in logic programming theory /
Publicado: (1994)

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

Inductive logic programming /
Publicado: (1992)

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

The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985)

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

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

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

Type theory and the integrated logic of programs /
por: Persson, Henrik.
Publicado: (1999)

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

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

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

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
por: Gabbrielli, Maurizio.
Publicado: (2005)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
por: Etalle, Sandro.
Publicado: (2006)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
por: Dahl, Véronica.
Publicado: (2007)

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

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

Symbolic logic and language, a programmed text /
por: Dichoff, James
Publicado: (1965)

Logical construction of programs (L.C.P.) /
por: Warnier, Jean-Dominique.
Publicado: (1974)

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

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines /
por: Bhattacharya, Alakananda.
Publicado: (2006)

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings /
por: Kramer, Stefan.
Publicado: (2005)