Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, Se - detaljert visning

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

TPHOLs '99
Bok Engelsk 1999


Utgitt	Berlin : Springer , c1999
Omfang	VIII, 358 s. : ill.
Emner	Bevisteori Logikkprogrammering
ISBN	3540664637