The implementation of ALF : a proof editor based on Martin-Löf's monomorphic type theory with expli - 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


Utgitt	Gøteborg : Department of Computing Science, [Göteborg University] , 1994
Omfang	230 s. : ill.
Opplysninger	Avhandling (doktorgrad) - Göteborgs universitet, 1995
Emner	logisk programmering bevisføring datatyper
ISBN	9171970665

Biblioteksøk