Formal methods in artificial intelligence / by J.-P. Delahaye ; translated by J. Howlett ; foreword by Maurice Nivat.

Author/creator Delahaye, Jean-Paul
Format Book
Publication InfoNew York : Wiley, ©1987.
Descriptionvii, 205 pages ; 25 cm
Subjects

General note"A Halsted Press book."
General note"Based on a course of lectures given at the University of Lille"-- Foreword.
General noteTranslation of: Outils logiques pour l'intelligence artificielle.
Bibliography noteIncludes bibliographies.
Other title Outils logiques pour l'intelligence artificielle.
LCCN 86032504
ISBN0470208260

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks Q335.D4513 1987 ✔ Available Place Hold