| Shelfclass_id | 4.B.3 |
| Sortkey | PFALZGRAF, JOCHEN |
| Authors | Jochen Pfalzgraf, Dongming Wang |
| Title | Automated Practical Reasoning: Algebraic Approaches |
| Publisher | Springer Pub. Co. |
| Year | c1995 |
| Languages | eng |
| Isbn | 0387826009, 3211826009 |
| Series | Texts and monographs in symbolic computation |
| Issn | 0943-853X |
| Description | (Wien: acid-free paper) (New York: acid-free paper) xi, 223 p. 25 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Automatic theorem proving, Practical reason, Reasoning |