Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, US - detaljert visning

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

TPHOLs 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	X, 347 s. : ill.
Emner	Automatic theorem proving Bevisføring (Matematikk) - Databehandling Bevisteori Logikkprogrammering
ISBN	3540440399