Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, - detaljert visning

Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

TPHOLs '97
Bok Engelsk 1997


Utgitt	Berlin : Springer , c1997
Omfang	VIII, 337 s. : fig.
Emner	Automatisk bevisføring Lambda-kalkyle Logikkprogrammering Ml Vis mer... Typeteori logikk bevisføring databehandling logisk programmering
ISBN	3540633790