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; London
Language: eng
Number of pages: 125
Subjects: Automatic theorem proving.; Algorithms.; Logic programming.