The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Εμφάνιση άλλων εκδόσεων (1)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Melham, T
Μορφή: Journal article
Έκδοση: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables ανά Melham, T

Έκδοση 1993
Conference item
Εμφάνιση όλων των εκδόσεων (2)

Παρόμοια τεκμήρια