Delahaye, J P . Formal methods in artificial intelligence / Textual Documents J P Delahaye. - Paris : North Oxford Academic Publishers , 1987. - NULL ; NULL. Subjects--Index Terms: Artificial intelligence Dewey Class. No.: 006.3 / DEL