Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
- 種類:
- 電子ブック
- 責任表示:
- edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1996
- 著者名:
Goos, Gerhard Hartmanis, Juris Leeuwen, Jan Wright, Joakim Grundy, Jim Harrison, John SpringerLink (Online service) - シリーズ名:
- Lecture Notes in Computer Science ; 1125
- ISBN:
- 9783540706410 [3540706410]
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag | |