Research Catalog
Automated practical reasoning : algebraic approaches
- Title
- Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.
- Publication
- Wien ; New York : Springer-Verlag, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 95-572 | Offsite |
Details
- Additional Authors
- Description
- xi, 223 p.; 25 cm.
- Series Statement
- Texts and monographs in symbolic computation, 0943-853X
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSF 95-572
- ISBN
- 3211826009 (Wien : acid-free paper)
- 0387826009 (New York : acid-free paper)
- LCCN
- 95001923
- OCLC
- 31865671
- Title
- Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.
- Imprint
- Wien ; New York : Springer-Verlag, c1995.
- Series
- Texts and monographs in symbolic computation, 0943-853X
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Pfalzgraf, Jochen.Wang, Dongming.
- Research Call Number
- JSF 95-572