TY - BOOK AU - Delahaye,Jean-Paul TI - Formal methods in artificial intelligence SN - 094653618X PY - 1987/// CY - London PB - North Oxford Academic KW - Artificial intelligence KW - Methodology KW - Data processing N1 - Judul asal: Outils logiques pour l'intelligence artifielle ER -