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

TYPES 2002
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	VIII, 330 s. : ill.
Emner	Automatic theorem proving Computer programming Automatisk bevisføring Bevisteori Vis mer... Datastrukturer Datatyper Matematisk logikk - Databehandling
ISBN	354014031X