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
|