Automated theorem proving : after 25 years


名称	Automated theorem proving : after 25 years

索引号	O231/E907
分类号	O231 O231(控制论(控制论的数学理论)) O23(控制论,信息论(数学理论)) O(数理科学和化学)
作者	Special Session on Automatic Theorem Proving (1983 : Denver、 Colo.)、Bledsoe、 W. W.、Loveland、 Donald W.、American Mathematical Society.、
出版社	Providence, R.I. : American Mathematical Society, 1984.
ISBN
页数	ix, 360 p. ; 26 cm.
价格
标签
简介
注解	"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.