ENGLISH

Automated Theorem Proving: After 25 Years

By W. W. Bledsoe , Donald W. Loveland (ed.)

Book information

Publisher
Amer Mathematical Society
Year
1984
ISBN
0-8218-5027-X, 9780821850275, 16-1978-158-1, 21-1978-159-1
LCC
QA76.9.A96 S64 1983
Language
english
Format
DJVU
Filesize
6 MB (5958556 bytes)
Series
Contemporary Mathematics 029
Pages
372\372
Library
kolxoz
DPI
600
Time added
2014-09-14 19:17:39

Description

Book annotation not available for this title.Title: Automated Theorem ProvingAuthor: Bledsoe, W. W./ Loveland, Donald W. (EDT)Publisher: Amer Mathematical SocietyPublication Date: 1984/06/01Number of Pages: Binding Type: PAPERBACKLibrary of Congress: 84009226

Similar books