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)

مواد مشابهة