検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. A1 Special Session on Automatic Theorem ProvingDenver, Colo.)(1983 : A1 Bledsoe, W. W. A1 Loveland, Donald W. A1 American Mathematical Society. YR 1984 FD 1984 SP 1 online resource (ix, 360 p.) K1 Automatic theorem proving PB American Mathematical Society PP Providence, R.I. SN 9780821876145 LA English (英語) NO "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. NO Includes bibliographies. NO Access is restricted to licensed institutions NO Electronic reproduction. NO Mode of access : World Wide Web NO Description based on print version record. NO URL:http://www.ams.org/conm/029/ (Contents) NO URL:http://dx.doi.org/10.1090/conm/029 (Contents) NO 書誌ID=1002979823; LK [E Book]http://www.ams.org/conm/029/; [E Book]http://dx.doi.org/10.1090/conm/029 OL 30