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件）を表示する

類似資料