Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructio - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år

Medvirkende	Castéran, Pierre

Utgitt	Berlin : Springer , 2004
Omfang	XXV, 469 s.
Emner	Bevisføring (Matematikk) - Databehandling Logikkprogrammering Programspesifikasjon Programverifikasjon
Dewey	511.3
ISBN	3540208542

Biblioteksøk