Cover Image

Logic programming : expanding horizons /

Bibliographic Details
Other Authors:	Dodd, A. (Anthony), 1952-, Owens, Richard, 1965-, Torrance, S. B. (Stephen B.), 1947-
Format:	Book
Language:	English
Published:	Oxford : Intellect, 1991.
Subjects:	Computer programming.

Similar Items

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (2000)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Published: (1997)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)

Logic tools for programming /
by: Pace, Philip, 1956-
Published: (1987)

Intensional logics for programming /
Published: (1992)

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Published: (1996)

Parallel logic programming /
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Parallelism and implementation of logic and constraint logic programming /
Published: (1999)

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

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

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)

Logic, programming, and Prolog /
by: Nilsson, Ulf, 1961-
Published: (1990)

The journal of logic programming.

Logic programming /
Published: (1982)

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

From logic to logic programming /
by: Doets, Kees
Published: (1994)

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1997 International Symposium /
Published: (1997)

Structure, logic, and program design /
by: Cohen, Alan
Published: (1983)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

Theory and practice of logic programming.
Published: (2001)

Parallel logic programming in PARLOG : the language and its implementation /
by: Gregory, Steve
Published: (1987)

Mathematical logic and programming languages /
Published: (1985)

Programming with higher-order logic /
by: Miller, Dale (Dale A.)
Published: (2012)

From logic programming to Prolog /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Logic programming and its applications /
Published: (1986)

Computer programming logic using flowcharts /
by: Farrell, Joyce
Published: (1995)

Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)

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

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

Business programming logic and design /
by: Russell, Jack (Jack P.)
Published: (1989)

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

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
Published: (1984)

Programming language implementation and logic programming : proceedings /
Published: (1990)

Journal of functional and logic programming.
Published: (1995)

Foundations of disjunctive logic programming /
by: Lobo, Jorge
Published: (1992)