検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank, (eds.) T2 Lecture notes in computer science A1 Martins, João Pavão A1 Reinfrank, M. (Michael), 1958- A1 European Conference on Artificial Intelligence A1 Truth Maintenance Workshop YR 1991 FD c1991 VO : Berlin VO : New York SP vi, 177 p. K1 Truth maintenance systems -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540543058 SN 0387543058 LA English (英語) CL LCC:Q338 CL DC20:006.3 CL NDC8:007.1 NO "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref NO Includes bibliographical references NO 書誌ID=1000429096; NCID=BA12757317; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000429096 OL 30