From logic design to logic programming : theorem proving techniques and P-functions /

Bibliographic Details
Main Author:	Snyers, Dominique, 1959-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Thayse, André, 1940-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1987.
Series:	Lecture notes in computer science ; 271.
Subjects:	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms. Théorèmes > Démonstration automatique. Algorithmes. Programmation logique. Logisch programmeren. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online