Formal methods in artificial intelligence
By: by J.-P. Delahaye ; translated by J. Howlett ; foreword by Maurice Nivat.
Publisher: Wiley
Published: 1987
Place of publication: New York
Language: eng; fre
Number of pages: 205
Subjects: Artificial intelligence -- Methodology.; Artificial intelligence -- Data processing.
Notes: Includes bibliographies.
"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.