Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

By: Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) [issuing body.]Contributor(s): Bledsoe, W. W [editor.] | Loveland, Donald W [editor.] | American Mathematical Society [issuing body.]Material type: TextTextSeries: Contemporary mathematics (American Mathematical Society) ; volume 29.Publisher: Providence, Rhode Island : American Mathematical Society, [1984]Copyright date: 1984Description: 1 online resource (371 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9780821876145 (e-book)Subject(s): Automatic theorem proving -- CongressesGenre/Form: Electronic books.Additional physical formats: Print version:: Automated theorem proving : after 25 years.DDC classification: 511.3 LOC classification: QA76.9.A96 | S64 1983Online resources: Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

"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"--Title page verso.

Includes bibliographies.

Description based on print version record.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.