記錄 1 之 2
Record:   Prev Next
作者 Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
書名 Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors
出版項 Providence, R.I. : American Mathematical Society, 1984
國際標準書號 082185027X (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.9.A96 S64    在架上    30340200197378
說明 ix, 360 p. ; 26 cm
系列 Contemporary mathematics, 0271-4132 ; v. 29
Contemporary mathematics (American Mathematical Society) ; v. 29
附註 "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
Includes bibliographies
主題 Automatic theorem proving -- Congresses
Alt Author Bledsoe, W. W
Loveland, Donald W
American Mathematical Society
記錄 1 之 2
Record:   Prev Next