Imagen de Portada

Time and logic : a computational approach /

Guardado en:

Otros Autores:	Bolc, Leonard, 1934-, Szalas, Andrzej, 1958-
Formato:	Libro
Idioma:	English
Publicado:	London : UCL Press, 1995.
Materias:	Logic programming. Time.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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)

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

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

Real-time systems and programming languages /
por: Burns, Alan, 1953-
Publicado: (1997)

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

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)

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

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

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

Real-time object-oriented modeling /
por: Selic, Bran.
Publicado: (1994)

Temporal logic : from ancient ideas to artificial intelligence /
por: Øhrstrøm, Peter.
Publicado: (1995)

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)

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

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

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

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

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

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: (1990)

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

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

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)

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

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Publicado: (1994)

Logics of time and computation /
por: Goldblatt, Robert.
Publicado: (1992)

Time series in the time domain /
Publicado: (1985)

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

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

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

Three concepts of time /
por: Denbigh, Kenneth George.
Publicado: (1981)