Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
Mark Aagaard, John Harrison (eds.)
Bok Engelsk 2000 TPHOLs 2000
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | IX, 533 s. : ill.
|
| Emner | |
| ISBN | 3540678638
|
