TY  - GEN
AU  - Ramsay, Allan
AU  - Ramsay, Allan
TI  - Formal methods in artificial intelligence
SN  - 9 780521 352369
U1  - 004.383 8 RAM 
PY  - 1988///
CY  - Cambridge
PB  - Cambridge University press
KW  - Artificial intelligence - Methodology
KW  - Logic, symbolic and mathematical
KW  - Reasoning
ER  -