|
" Theorem Proving in Higher Order Logics : "
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746781
|
| Doc. No
|
:
|
b566731
|
| Main Entry
|
:
|
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
|
| Title & Author
|
:
|
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.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1996
|
| Series Statement
|
:
|
Lecture Notes in Computer Science, 1125
|
| ISBN
|
:
|
3540706410
|
|
|
:
|
: 9783540706410
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
Gerhard Goos
|
|
|
:
|
Jan van Leeuwen
|
|
|
:
|
Jim Grundy
|
|
|
:
|
Joakim Wright
|
|
|
:
|
John Harrison
|
|
|
:
|
Juris Hartmanis
|
| |