Search Results - Logic Programming

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

THE LOGIC OF PROGRAMMING / by Hehner, Eric C. R.

FROM LOGIC DESIGN TO LOGIC PROGRAMMING / by Snyers, Dominique

MICROPROCESSORS AND PROGRAMMED LOGIC / by Short, Kenneth L.

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

ALGEBRAIC AND LOGIC PROGRAMMING / by Bergstra, J. A.

Temporal logic of programs / by Kröger, Fred

FOUNDATIONS OF LOGIC PROGRAMMING / by Lloyd, John Wylie

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

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

6800 programming for logic design / by Osborne, Adam

Deductive databases and logic programming / by Das, Subrata Kumar

Programming of small logic controllers / by Fedor, Pavol 1932-

MICRO-PROLOG. PROGRAMMING IN LOGIC / by Clark, Keith L.

Mathematical logic and programming languages / by Kowalski, R.

Studies in automatic programming logic / by Manna, Zohar

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

Logic for problem solving / by Kowalski, Robert, 1941-

Subjects: “…Computer programming.…”

Increasing programmer productivity through logic development / by Swann, Gloria Harrington

Prolog versus you. An introduction to logic programming / by Johansson, Anna-Lena