Automated theorem proving: after 25 years/ W.W. Bledsoe and D.W. Loveland, editors.
Series: Contemporary mathematics (American Mathematical Society) ; v. 29.Publication details: Providence, R.I.: American Mathematical Society, 1984.Description: ix, 360 p. ; 26 cmISBN:- 082185027X (pbk.)
- 511.3
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Coleções de Monografias (Monographs Collections) | 1 | Available | 39063000249014 |
"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".
Includes bibliographies.
There are no comments on this title.