Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, Ap - detaljert visning

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Herman Geuvers, Freek Wiedijk (eds.)
Bok Engelsk 2003 TYPES 2002


Utgitt	Berlin : Springer , c2003
Omfang	VIII, 330 s. : ill.
Emner	Automatic theorem proving Computer programming Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Bevisteori Computer Science Datastrukturer Datatyper Engineering & Applied Sciences Matematisk logikk - Databehandling Bevisteori((NO-TrBIB)REAL011320) Datatyper((NO-TrBIB)REAL011498)
Dewey	005.1
ISBN	354014031X