TY  - BOOK
AU  - Snyers, Dominique.
AU  - Thayse, Andre.
TI  - From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
SN  - 3540182179
CY  - Berlin
KW  - Logic Design
KW  - Logic Programming
ER  -