検索結果を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=2000023944; NCID=BA03713161; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/2000023944 OL 30