Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Previous Record
Next Record
Conference
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing body.
Title
Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
Publication Info.
Providence, Rhode Island : American Mathematical Society, [1984]
1984
Connect to
Available to Pittsburg State University patrons only.
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
Description
1 online resource (371 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series
Contemporary mathematics, 0271-4132 ; volume 29
Contemporary mathematics (American Mathematical Society) ; volume 29.
Note
"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.
Bibliography
Includes bibliographies.
Note
Description based on print version record.
Subject
Automatic theorem proving -- Congresses.
Genre/Form
Electronic books.
Added Author
Bledsoe, W. W., editor.
Loveland, Donald W., editor.
American Mathematical Society, issuing body.
Other Form:
Print version: Special Session on Automatic Theorem Proving. Automated theorem proving : after 25 years. Providence, Rhode Island : American Mathematical Society, [1984] ix, 360 pages ; 26 cm. Contemporary mathematics ; v. 29 9780821850275 (DLC)10873011
ISBN
082185027X (pbk.)
9780821850275
9780821876145 (e-book)
Available items only