A programming logic based on type theory /
Αποθηκεύτηκε σε:
OCLC: | 221860615 |
---|---|
Κύριος συγγραφέας: | |
Συγγραφή απο Οργανισμό/Αρχή: | |
Γλώσσα: | English |
Έκδοση: |
[Eindhoven :
Technische Universiteit Eindhoven,
1994]
|
Θέματα: | |
Μορφή: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |