Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Yves Bertot ... [et al.] (eds.)
Bok Engelsk 1999 TPHOLs '99
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | VIII, 358 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540664637
|
