Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, Aug - detaljert visning

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

TPHOLs 2005
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	IX, 408 s. : ill.
Emner	Bevisføring (Matematikk) - Databehandling Logikkprogrammering
ISBN	3540283722. - 9783540283720