TY  - BOOK
AU  - Ramsay, Allan M.
TI  - Formal Methods In Artificial Intelligence
SN  - 9780521424219
U1  - 006.3 
PY  - 1991///
PB  - Cambridge
KW  - Computer Science
ER  -