From logic design to logic programming : theorem proving techniques and P-functions
Snyers, Dominique
From logic design to logic programming : theorem proving techniques and P-functions - - Berlin Springer-Verlag, 1987 - iv,125 p. 24 cm - .
3-540-18217-90
Logic programming
Logic design
519.28:681.3.06 Sny
From logic design to logic programming : theorem proving techniques and P-functions - - Berlin Springer-Verlag, 1987 - iv,125 p. 24 cm - .
3-540-18217-90
Logic programming
Logic design
519.28:681.3.06 Sny