Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Bok Engelsk 2004 TPHOLs 2004
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c2004
|
| Omfang | VIII, 336 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540230173
|
