Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Victor A. Carreño, César Muñoz, Sofiène Tahar (eds.)
Bok Engelsk 2002 TPHOLs 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | X, 347 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540440399
|
