Delahaye, Jean-Paul Formal methods in artificial intelligence / by J.P. Delahaye translated by J. Howlett foreword by Maurice Nivat - London : North Oxford Academic, 1987 - vii, 205 p. ; 24 cm. Judul asal: Outils logiques pour l'intelligence artifielle freeng ISBN: 094653618X Subjects--Topical Terms: Artificial intelligence--MethodologyArtificial intelligence--Data processing