検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal methods in artificial intelligence / by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat OT Outils loguques pour l'intelligence artificielle A1 *Delahaye, Jean-Paul YR 1987 FD c1987 SP vii, 205 p. K1 Artificial intelligence K1 Artificial intelligence PB North Oxford PP London SN 094653618X LA English (英語) CL LCC:Q335 CL DC19:006.3 NO Includes bibliography and index NO Translation of: Outils loguques pour l'intelligence artificielle NO 書誌ID=1000056476; NCID=BA03713161; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000056476 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA03713161; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=094653618X OL 30