Theorem proving in higher order logics : 16[th] international conference, TPHOLs 2003, Rome, Italy, - detaljert visning

Theorem proving in higher order logics : 16[th] international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

TPHOLs 2003
Bok Engelsk 2003


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