Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, U - detaljert visning

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

TPHOLs 2000
Bok Engelsk 2000


Utgitt	Berlin : Springer , c2000
Omfang	IX, 533 s. : ill.
Emner	Bevisføring (Matematikk) - Databehandling Bevisteori Logikkprogrammering
ISBN	3540678638