Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, A - detaljert visning

Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

TPHOLs '96
Bok Engelsk 1996


Utgitt	Berlin : Springer , c1996
Omfang	VIII, 446 s. : fig.
Opplysninger	6.-8. kongress utgitt med tittel: Higher order logic theorem proving and its applications
Emner	Automatisk bevisføring Logikkprogrammering logikk bevisføring databehandling
ISBN	3540615873