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