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
|
