| Shelfclass_id | 2.D |
| Sortkey | KAMAREDDINE, FAIROUZ D |
| Authors | Fairouz D. Kamareddine |
| Title | Thirty Five Years of Automating Mathematics |
| Publisher | Kluwer Academic Publishers |
| Year | c2003 |
| Languages | eng |
| Isbn | 1402016565 |
| Series | Applied logic series |
| Volume | 28 |
| Description | viii, 318 p. ill. 25 cm. |
| Record date | 20090908 |
| Location | Boston |
| Keywords | AUTOMATH (Formal language), Automatic theorem proving, Proof theory |
| Urlnote | Table of contents only |
| Urls | http://www.loc.gov/catdir/enhancements/fy0814/2003062874-t.html |