この文献を取り寄せる

このページのリンク

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

データ種別 図書
出版者 London : North Oxford
出版年 c1987
形態 vii, 205 p. : ill. ; 25 cm
著者標目 Delahaye, Jean-Paul
件 名 Artificial intelligence
Artificial intelligence
分 類 NDC:549.92
DDC:006.3
LCC:Q335
書誌ID LT00217360

所蔵情報を非表示


中央自動書庫 549.92/D55-2/1 0107341510101 9780946536184





工学部分室開架 549.92/D55-2/1+2 0107501240107 9780946536184




書誌詳細を非表示

本文言語 英語
一般注記 Translation of: Outils loguques pour l'intelligence artificielle
Bibliography: p. 191-202
Includes index
NCID BA03713161
巻冊次 ISBN:094653618X
目次/あらすじ

 類似資料