TY  - BOOK
AU  - DELAHAYE,JEAN-PAUL
TI  - FORMAL METHODS IN ARTIFICIAL INTELLIGENCE
SN  - KBCS
U1  - 901 
PY  - 1987///
PB  - NOA
ER  -