Cover Image

Principles of logic and logic programming /

Show other versions (1)

Bibliographic Details
Main Author:	Metakides, George, 1945-
Other Authors:	Nerode, Anil, 1932-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1996.
Series:	Studies in computer science and artificial intelligence ; 13.
Subjects:	Logic programming. Logic, Symbolic and mathematical.

Similar Items

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

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

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

Logic for applications /
by: Nerode, Anil, 1932-
Published: (1993)

Logic programming, functions, relations, and equations /
by: DeGroot, Doug
Published: (1986)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

A resolution principle for a logic with restricted quantifiers /
by: Bürckert, H.-J. (Hans-Jürgen)
Published: (1991)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Proceedings, 1987 Symposium on Logic Programming : August 31-September 4, 1987, Hyatt on Union Square San Francisco, California /
Published: (1987)

Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)

Logical frameworks /
Published: (1991)

Temporal logics and their applications /
Published: (1987)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Journal of logic and computation.

Journal of logic and computation.
Published: (1990)

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

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

Foundations of logic programming /
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1984)

Logical forms : an introduction to philosophical logic /
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)

Principles of mathematical logic.
by: Hilbert, David, 1862-1943
Published: (1950)

Principles of mathematical logic /
by: Hilbert, David, 1862-1943
Published: (1999)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Constructive logics /
by: Gallier, Jean H.
Published: (1991)

Applied logic /
by: Hansen, Kaj Børge
Published: (1996)

Logical papers /
by: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
Published: (1966)

The logic book /
by: Bergmann, Merrie
Published: (1990)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Logic and structured design for computer programmers /
by: Rood, Harold J.
Published: (2001)

Classic logic.
by: Blyth, John William, 1909-
Published: (1963)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

Logic-based artificial intelligence /
Published: (2000)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

The logical problem of induction.
by: Wright, G. H. von (Georg Henrik), 1916-2003
Published: (1957)