TY  - BOOK
AU  - J P Delahaye
TI  - Formal Methods in Artificial Intelligence
SN  - 0-946536-18-x
U1  - 004.8 
PY  - 1987///
CY  - 
PB  - North Oxford Academic Publishers
ER  -