TY  - BOOK
AU  - Delahaye,J.-P.
AU  - Howlett,J.
TI  - Formal methods in artificial intelligence
SN  - 094653618X :
U1  - 001.535 
PY  - 1987///
CY  - London
PB  - North Oxford Accademic
KW  - Artificial intelligence
KW  - Methodology
KW  - Data processing
N1  - "A Halsted Press book."; "Based on a course of lectures given at the University of Lille"--Foreword; Translation of: Outils logiques pour l'intelligence artificielle; Includes bibliographical references and index
ER  -