Logic programming · Bookplated

Home Search Library Lists

Create account Sign in

Privacy · TermsBook data from Open Library

Logic programming

Home Search Lists Sign in

Logic programming · Bookplated

A grammatical view of logic programming

Pierre Deransart

Daniel P. Friedman

Programming Logic and Design, Comprehensive

Programming Logic and Design

Programming Logic and Design, Introductory

Logic Programming

Programming logic and design

Programming Logic and Design, Comprehensive, Loose-leaf Version

Heritage of Western civilization

John Louis Beatty

Logic and Declarative Language

Logic Programming in Action

Logic Programming Summer School (2nd 1992 Zurich, Switzerland)

Programmable Logic Controllers

Types in logic programming

Logic Programming

Pascal Van Hentenryck

Logic in Computer Science

Introduction to computer programming logic

Logic Programming

Manuel Hermenegildo

Digital design fundamentals

Kenneth J. Breeding

Just enough programming logic and design

Programming Logic and Design, Comprehensive

1985 Symposium on Logic Programming

Symposium on Logic Programming (2nd 1985 Boston, Mass.)

UK Conference on Logic Programming (3rd 1991 Edinburgh, Scotland)

Symposium on Logic Programming (3rd 1986 Salt Lake City, Utah)

Declarative Logic Programming

The Logic Programming Tutor

Inductive Logic Programming

Logic Programming

Constraint logic programming

Frédéric Benhamou

Logic Programming '89

Logic Programming Conference (8th 1989 Tokyo, Japan)

Logic programming and databases

Logic programming

Robert Kowalski

Logic Programming

David H. D. Warren

Logic Based Program Synthesis and Transformation

Alberto Pettorossi

Logic program synthesis and transformation-- Meta-programming in Logic

International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy)

Logic Programming: The 1996 International Symposium

Logicprogramming

Extensions of Logic Programming

Logic Programming

Danny De Schreye

Programming with higher-order logic