Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

Paul Callaghan ... [et al.] (eds.)
Bok · Engelsk · 2002 TYPES 2000

Utgitt	Berlin : Springer , c2002
Omfang	VIII, 242 s.
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 Programverifikasjon Bevisteori((NO-TrBIB)REAL011320) Datatyper((NO-TrBIB)REAL011498) Programverifikasjon((NO-TrBIB)REAL007699)
Dewey	006.3/33
ISBN	3540432876