Formal methods in artificial intelligence
By: by J.-P. Delahaye ; translated by J. Howlett ; foreword by Maurice Nivat.
Publisher: North Oxford Academic
Published: 1987
Place of publication: London
Language: eng
Number of pages: 205
Subjects: Artificial intelligence -- Data processing.; Artificial intelligence -- Methodology.
Work titles: Outils logiques pour l'intelligence artificielle.
Notes: "Based on a course of lectures given at the University of Lille"--Introd.

Translation of: Outils logiques pour l'intelligence artificielle.

Includes index.

Bibliography: p. 191-202.