検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee T2 Computer science classics A1 Chang, Chin-Liang, 1937- A1 Lee, Richard Char-Tung, 1939- YR 1987 FD 1987, c1973 SP xiii, 331 p. K1 Logic, Symbolic and mathematical K1 Automatic theorem proving K1 Artificial intelligence PB Academic Press PP Boston ; Tokyo SN 0121703509 LA English (英語) CL LCC:QA9 CL DC19:511.3 NO Bibliography: p 309-324 NO Includes index NO 書誌ID=2000038211; NCID=BA0384033X; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/2000038211 OL 30