Logic Programming View on Open Library

Logic Programming

by James H. Andrews , J. Andrews

No reviews yet
First published: 1992 1 language ISBN: 9780511882029
Subjects
Automatic theorem proving Logic programming Programming languages (Electronic computers) Semantics Proof theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by James H. Andrews

Student Workbook for College Physics : Pearson New International Edition

Student Workbook for College Physics : P...

The logical structure of sequential prolog

The logical structure of sequential prol...

Proof-Theoretic Characterisations of Logic Programming

Proof-Theoretic Characterisations of Log...

College Physics Vol. 2, Chs. 17-30

College Physics Vol. 2, Chs. 17-30

College Physics Vol. 1

College Physics Vol. 1

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic for computer science

Logic for computer science

Jean H. Gallier
Automated Reasoning

Automated Reasoning

Larry Wos
Automated practical reasoning

Automated practical reasoning

Dongming Wang
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala