Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Austra - detaljert visning

Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

TPHOLs '98
Bok Engelsk 1998


Utgitt	Berlin : Springer , c1998
Omfang	VIII, 496 s. : fig.
Emner	Logikkprogrammering bevisteori
ISBN	3540649875