TY  - BOOK
AU  - Delahaye, J. P.
TI  - Formal methods in artificial intelligence
SN  - 094653618X
U1  - 006.3 DEL 
PY  - 1987///
KW  - Artificial intelligence--Data processing	
KW  - MIS
ER  -