Imagen de Portada

Logic and information flow /

Guardado en:

Otros Autores:	Eijck, J. van, Visser, Albert.
Formato:	Libro
Idioma:	English
Publicado:	Cambridge, Mass. : MIT Press, c1994.
Series:	Foundations of computing
Materias:	Computer science. Natural language processing (Computer science) Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Essence of logic /
por: Kelly, John J. 1940 Nov. 23-1995.
Publicado: (1997)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

Discrete structures, logic, and computability /
por: Hein, James L.
Publicado: (1995)

Knowledge systems and Prolog : a logical approach to expert systems and natural language processing /
Publicado: (1987)

The functional treatment of parsing /
por: Leermakers, René.
Publicado: (1993)

Logics of specification languages /
Publicado: (2008)

Vivid logic : knowledge-based reasoning with two kinds of negation /
por: Wagner, G. 1957-
Publicado: (1994)

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

Prolog programming : applications for database systems, expert systems, and natural language systems /
por: Marcus, Claudia.
Publicado: (1986)

Logic-based artificial intelligence /
Publicado: (2000)

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

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

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

Handbook of theoretical computer science /
Publicado: (1990)

Great ideas in computer science : a gentle introduction /
por: Biermann, Alan W., 1939-
Publicado: (1997)

Computer science : an overview /
por: Brookshear, J. Glenn.
Publicado: (1997)

Computer science today : recent trends and developments /
Publicado: (1995)

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

Logic, language, and computation : festschrift in honor of Satoru Takasu /
Publicado: (1994)

Handbook of logic in computer science /
Publicado: (1992)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (1994)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (2013)

Mathematical logic for computer science /
por: Ben-Ari, M., 1948-
Publicado: (1993)

Introduction to mathematical logic /
por: Mendelson, Elliott.
Publicado: (1987)

Simply scheme : introducing computer science /
por: Harvey, Brian, 1949-
Publicado: (1994)

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

Computability, complexity, logic /
por: Börger, E. 1946-
Publicado: (1989)

Theoretical foundations of computer science /
por: Mandrioli, Dino.
Publicado: (1993)

The Imperative future : principles of executable temporal logic /
Publicado: (1996)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007)

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

Models of computation : exploring the power of computing /
por: Savage, John E., 1939-
Publicado: (1998)

Algorithms and theory of computation handbook /
Publicado: (1999)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang.
Publicado: (2006)

Descriptive complexity /
por: Immerman, Neil, 1953-
Publicado: (1999)

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

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007)

Complexity and real computation /
Publicado: (1998)

Logic : a foundation for computer science /
por: Sperschneider, V.
Publicado: (1991)