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)

Ижил төстэй зүйлс