TY  - BOOK
AU  - Ramsay A
TI  - Formal methods in artificial intelligence
U1  - D65,8(B), M8 
PY  - 1988///
KW  - Computer Science
ER  -