Theorem proving in higher order logics : 16[th] international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
David Basin, Burkhart Wolff (eds.)
Bok Engelsk 2003 TPHOLs 2003
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | X, 366 s. : ill.
|
| Emner | |
| ISBN | 3540406646
|
