Export Mendeley
＜Books＞
Formal methods in artificial intelligence / by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat
| Material Type | Books |
|---|---|
| Publisher | London : North Oxford |
| Classification | LCC:Q335 DC19:006.3 |
| Year | c1987 |
| Size | vii, 205 p. : ill. ; 25 cm |
Hide book details.
Hide details.
| Other titles | original title:Outils loguques pour l'intelligence artificielle |
|---|---|
| Notes | Includes bibliography and index Translation of: Outils loguques pour l'intelligence artificielle |
| Authors | *Delahaye, Jean-Paul |
| Subjects | PRECIS:Artificial intelligence LCSH:Artificial intelligence |
| ID | 1000056476 |
| NCID | BA03713161 |