From logic design to logic programming
Subtitle: theorem proving techniques and P-functions
By: Dominique Snyers, André Thayse.
Contributors: Thayse, André, 1940-
Series: Lecture notes in computer science ;; 271
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 125
Subjects: Automatic theorem proving.; Computer algorithms.; Logic programming.
Notes: Bibliography: p. [121]-125.