Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Joe Hurd, Tom Melham (eds.)
Bok Engelsk 2005 TPHOLs 2005
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | IX, 408 s. : ill.
|
| Emner | |
| ISBN | 3540283722. - 9783540283720
|
