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
|