Cover Image

Logic programming /

Bibliographic Details
Corporate Author:	International Workshop on Logic Programming
Other Authors:	Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke)
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York : Academic Press, Ill., 1982. 11 300 xvii, 366 p. : 24 cm.
Series:	A.P.I.C. studies in data processing ; no. 16.
Subjects:	Computer programming. Logic, Symbolic and mathematical.

Similar Items

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

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

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

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

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

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

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

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

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

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

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

Temporal logics and their applications /
Published: (1987)

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

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

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)

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

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

A programming logic : with an introduction to the PL/CV verifier /
by: Constable, R. L. (Robert L.)
Published: (1978)

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

Logical frameworks /
Published: (1991)

An introduction to the PL/CV2 programming logic /
by: Constable, R. L. (Robert L.)
Published: (1982)

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

Journal of logic and computation.
Published: (1990)

Journal of logic and computation.

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

Solving higher-order equations : from logic to programming /
by: Prehofer, Christian, 1967-
Published: (1998)

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

Logics of specification languages /
Published: (2008)

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

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

Logic programming : a classified bibliography /
by: Balbin, Isaac
Published: (1985)

The logic of partial information /
by: Nait Abdallah, Areski, 1950-
Published: (1995)

Substructural logics /
Published: (1993)

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

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)

Logic and algebra of specification /
Published: (1993)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

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