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)

समान संसाधन