The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Diğer sürümleri göster (1)
Detaylı Bibliyografya
Yazar: Melham, T
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables Yazar: Melham, T

Baskı/Yayın Bilgisi 1993
Conference item
Tüm sürümleri göster (2)

Benzer Materyaller