TY  - BOOK
AU  -  Delahaye,J P .
TI  - Formal methods in artificial intelligence / 
U1  - 006.3 
PY  - 1987///
CY  - Paris : 
PB  - North Oxford Academic Publishers , 
KW  - Artificial intelligence
ER  -