TY  - BOOK
AU  - LEADBETTER, PETER A.
TI  - PROLOG FROM SPECIFICATION TO PROTOTYPE
SN  - 9780632031610
PY  - 1991///
PB  - BLACKWELL SCIENCE INC., MASSACHUSETTS
KW  - Computer Science & Eng
ER  -