TY  - BOOK
AU  - Snyers Dominique
AU  -  Thayse Andre
TI  - From logic design to logic programming
T2  - Lecture Notes in Computer Science; 271
U1  - D65,8(B):(R1), M7 
PY  - 1987///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -