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
|