| Shelfclass_id | 4.B.3 |
| Sortkey | QUAIFE, ART |
| Authors | Art Quaife |
| Title | Automated Development of Fundamental Mathematical Theories |
| Publisher | Kluwer Academic Press |
| Year | c1992 |
| Languages | eng |
| Isbn | 0792320212 |
| Series | Automated reasoning series |
| Volume | 2 |
| Description | (alk. paper) xviii, 271 p. 25 cm |
| Record date | 20060906 |
| Location | Boston |
| Keywords | Automatic theorem proving, Artificial intelligence |