Formal methods in artificial intelligence /

Bibliographic Details
Main Author: Delahaye, Jean-Paul
Format: Book
Language:English
Published: New York : Wiley, 1987.
Edition:English ed.
Subjects:
Description
Item Description:"A Halsted Press book."
"Based on a course of lectures given at the University of Lille"--Foreword.
Translation of: Outils logiques pur l'intelligence artificielle.
Physical Description:vii, 205 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographies and index.
ISBN:0470208260