Imagen de Portada

Logic and its applications /

Guardado en:

Autor Principal:	Burke, Edmund, Ph. D.
Otros Autores:	Foxley, Eric.
Formato:	Libro
Idioma:	English
Publicado:	London ; New York : Prentice Hall, 1996.
Series:	Prentice-Hall international series in computer science
Materias:	Logic programming. Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

Logic-based artificial intelligence /
Publicado: (2000)

Advanced logic for applications /
por: Grandy, Richard E.
Publicado: (1977)

Proof and computation /
Publicado: (1995)

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

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

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

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

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

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007)

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

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)

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

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

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

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

A course in mathematical logic /
por: Bell, J. L.
Publicado: (1977)

Handbook of mathematical logic /
Publicado: (1977)

A course in mathematical logic /
por: Manin, IU. I.
Publicado: (1977)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006)

Logics of specification languages /
Publicado: (2008)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado: (1988)

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

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

Mathematical problems from applied logic I : logics for the XXIst century /
Publicado: (2006)

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

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

The two-valued iterative systems of mathematical logic /
por: Post, Emil Leon, 1897-1954.
Publicado: (1941)

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993)

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

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