Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2 - detaljert visning

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
Bok Engelsk 2004 TYPES 2003


Utgitt	Berlin : Springer , c2004
Omfang	X, 408 s. : ill.
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Bevisteori Datastrukturer Vis mer... Datatyper Matematisk logikk - Databehandling Programverifikasjon Bevisteori((NO-TrBIB)REAL011320) Datatyper((NO-TrBIB)REAL011498) Programverifikasjon((NO-TrBIB)REAL007699)
ISBN	3540221646