Applying lemmas and conjecturers [i.e. conjectures] in high-order [i.e. higher-order] proof by consi - 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	[Oslo] : University of Oslo, Department of Informatics , 1997
Omfang	19 s.
Opplysninger	Elektronisk reproduksjon
ISBN	8273681475

Biblioteksøk