Automated theorem proving : after 25 years

Web Site CiNii Available at 60 libraries

Bibliographic Information

Title
"Automated theorem proving : after 25 years"
Statement of Responsibility
W.W. Bledsoe and D.W. Loveland, editors
Publisher
  • American Mathematical Society
Publication Year
  • c1984
Book size
26 cm
Series Name / No
  • : pbk

Search this Book/Journal

Notes

"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

Related Books

See more

Details 詳細情報について

Back to top