Solving higher-order equations : from logic to programming
- 種類:
- 図書
- 責任表示:
- Christian Prehofer
- 出版情報:
- Boston : Birkhäuser, c1998
- 著者名:
- Prehofer, Christian, 1967-
- シリーズ名:
- Progress in theoretical computer science <BA1282110X>
- ISBN:
- 9780817640323 [0817640320]
9783764340322 [3764340320] - 注記:
- Includes bibliographical references and index
類似資料:
Clarendon Press, Oxford University Press | |
MIT Press |
Springer-Verlag |
Springer | |
MIT Press |
CSLI Publications, FoLLI |
Springer-Verlag |
Springer |
Springer-Verlag |
Cambridge University Press |