TY  - BOOK
AU  - Delahaye, Jean-Paul
TI  - FORMAL METHODS IN ARTIFICIAL INTELLIGENCE
U1  - 001.535 
PY  - 1987///
CY  - London
PB  - North Oxford Academic
KW  - Artificial Intelligence
N1  - Trans. Of Outils Logiques Pour Intelligence Artificielle
ER  -