QR Code

FOUNDATIONS OF LOGIC PROGRAMMING /

Saved in:

Bibliographic Details
Main Author:	Lloyd, John Wylie
Format:	Book
Language:	English
Published:	Berlin : Springer, 1984
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

THE LOGIC OF PROGRAMMING /
by: Hehner, Eric C. R.
Published: (1984)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
by: Snyers, Dominique
Published: (1987)

MICROPROCESSORS AND PROGRAMMED LOGIC /
by: Short, Kenneth L.
Published: (1987)

ALGEBRAIC AND LOGIC PROGRAMMING /
by: Bergstra, J. A.
Published: (1988)

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

Foundation of programming with Pascal /
by: Moore, Lawrie
Published: (1980)

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

MICRO-PROLOG. PROGRAMMING IN LOGIC /
by: Clark, Keith L.
Published: (1984)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Mathematical logic and programming languages /
by: Kowalski, R.
Published: (1985)

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

Programming of small logic controllers /
by: Fedor, Pavol 1932-
Published: (2001)

6800 programming for logic design /
by: Osborne, Adam
Published: (1977)

Formal foundations of correct programming /
by: Novitzká, Valerie
Published: (1999)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
by: Andreoli, Jean-Marc
Published: (1991)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)

LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
by: Jaffer, Joxan
Published: (1988)

The foundations of analysis. A straightforward introduction. Book 1. Logic, sets and numbers /
by: Binmore, K. G.
Published: (1980)

Prolog versus you. An introduction to logic programming /
by: Johansson, Anna-Lena
Published: (1989)

Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
by: Leuschel, Michael
Published: (1996)

Logic analyzers for microprocessors /
by: Kneen, John
Published: (1980)

Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
by: Abdali, S. Kamal
Published: (1986)

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

Foundations /
by: Launder, Victor C.
Published: (1972)

Logical Form Between Logic and Natural Language /
by: Iacona, Andrea
Published: (2018)

Foundations of World Wide Web programming with HTML and CGI /
by: Tittel, Ed
Published: (1995)

THE LOGIC OF INDUCTION /
by: Mortimer, Halina
Published: (1988)

MATRIX LOGIC /
by: Stern, August
Published: (1988)

Absolute logics /
by: Akkanen, Jyrki
Published: (1995)

Mathematical logic /
by: Demlová, Marie
Published: (1999)

Logic and structure /
by: Dalen, Dirk van
Published: (1983)

Mathematical logic /
by: Flum, Jörg, et al.
Published: (1984)

Computer logic, testing and verification /
by: Roth, John Paul
Published: (1980)

A course in mathematical logic /
by: Bell, John Lane, et al.
Published: (1977)

3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 /
by: Fuchi, Kazuhiro
Published: (1986)

Foundation focus

Foundation engineering /
by: Peck, Ralph B., et al.
Published: (1955)

Foundation Focus.
Published: (2005)

The foundations of astrodynamics /
by: Roy, Archie E.
Published: (1965)

Foundations of Biostatistics
by: Islam, M. Ataharul
Published: (2018)