Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
Richard J. Boulton, Paul B. Jackson (eds.)
Bok Engelsk 2001 TPHOLs 2001
Utgitt | Berlin : Springer , c2001
|
---|---|
Omfang | X, 393 s. : ill.
|
Emner | |
Dewey | |
ISBN | 354042525X
|