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

Bibliographic Details

Main Author:	Snyers, Dominique, 1959-
Other Authors:	Thayse, André, 1940-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	Lecture notes in computer science ; 271.
Subjects:	Automatic theorem proving. Algorithms. Logic programming.