Research Catalog
Solving higher-order equations : from logic to programming
- Title
- Solving higher-order equations : from logic to programming / Christian Prehofer.
- Author
- Prehofer, Christian, 1967-
- Publication
- Boston : Birkhauser, c1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 98-924 | Offsite |
Details
- Description
- vii, 186 p.; 25 cm.
- Series Statement
- Progress in theoretical cpmputer science
- Uniform Title
- Progress in theoretical computer science.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [163]-181) and index.
- Call Number
- JSE 98-924
- ISBN
- 0817640320
- 3764340320
- LCCN
- 97031142
- OCLC
- vendor
- Author
- Prehofer, Christian, 1967-
- Title
- Solving higher-order equations : from logic to programming / Christian Prehofer.
- Imprint
- Boston : Birkhauser, c1998.
- Series
- Progress in theoretical cpmputer scienceProgress in theoretical computer science.
- Bibliography
- Includes bibliographical references (p. [163]-181) and index.
- Research Call Number
- JSE 98-924