Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
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

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