Solving higher-order equations : from logic to programming /

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

Answer set solving in practice /
Published: (2013)

Logic and declarative language /
by: Downward, Michael
Published: (1998)

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

Logic programming /
Published: (1982)

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

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

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

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

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

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)

Temporal logics and their applications /
Published: (1987)

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

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

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

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

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

Logical frameworks /
Published: (1991)

Journal of logic and computation.

Journal of logic and computation.
Published: (1990)

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

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

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

Order-sorted feature theory unification /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

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

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Logic-based artificial intelligence /
Published: (2000)

Discrete structures, logic, and computability /
by: Hein, James L.
Published: (2017)

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

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)

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

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

Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)

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

Logics of specification languages /
Published: (2008)

From logic to computing /
by: McArthur, Robert P., 1944-
Published: (1991)