← Back to Browse
Computational logic

Computational logic

by J. A. Robinson, Jean-Louis Lassez

Subjects

Logic programming Automatic theorem proving
Read on Open Library More by J. A. Robinson

Related Books

Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

John E. Hopcroft

19798 ed.
How to prove it

How to prove it

Daniel J. Velleman

19947 ed.
A first course in fuzzy logic

A first course in fuzzy logic

Hung T. Nguyen

199711 ed.
The experience of literature

The experience of literature

Lionel Trilling

19678 ed.
A grammatical view of logic programming

A grammatical view of logic programming

Pierre Deransart

19932 ed.
Programming in Prolog

Programming in Prolog

William F. Clocksin

198112 ed.
Programming Logic and Design

Programming Logic and Design

Joyce Farrell

20046 ed.
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

201316 ed.