Imagen de Portada

Handbook of logic in computer science /

Guardado en:

Otros Autores:	Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Formato:	Libro
Idioma:	English
Publicado:	Oxford : New York : Clarendon Press ; Oxford University Press, 1992-<2000
Materias:	Computer science. Logic, Symbolic and mathematical. Ciencia da computacao ou informatica Logica e semantica de programacao rogramming.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Logic for computer science /
por: Reeves, Steve, 1957-
Publicado: (1990)

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

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

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

Logic-based artificial intelligence /
Publicado: (2000)

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994)

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

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

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

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

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

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

Handbook of mathematical logic /
Publicado: (1977)

Logic and information flow /
Publicado: (1994)

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

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

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

Proof and computation /
Publicado: (1995)

Introducció a la lgica /
por: Barrière Figueroa, Eulalia.
Publicado: (2006)

Con argumento lógico : notas de matemáticas aplicadas /
por: Obeso Fernández, Virgilio.
Publicado: (2013)

El pensamiento lógico-matemático /
por: Sagüillo Fernández-Vega, José Miguel.
Publicado: (2008)

Lógica difusa, un punto de vista
por: Strefezza, Miguel.
Publicado: (2009)

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964)

Logics of specification languages /
Publicado: (2008)

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

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

Logic for mathematicians /
por: Hamilton, A. G., 1943-
Publicado: (1988)

Notes on logic /
por: Lyndon, Roger C.
Publicado: (1966)

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965)

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995)

An introduction to modern logic : an elementary textbook of symbolic logic /
por: Halberstadt, William Harold, 1930-
Publicado: (1960)

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)