Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1 - 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	Berlin : Springer , c1998
Omfang	VIII, 372 s. : fig.
Emner	Computer logic - Congresses Type theory - Congresses Datastrukturer Datatyper Vis mer... Typeteori typeteori bevisføring programmering
ISBN	3540651373

Biblioteksøk