查詢 au:Laan, Twan. ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Kamareddine, Fairouz D.(1)
- Laan, Twan.(1)
- Nederpelt, R. P.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Infinity.(1)
- Logic.(1)
- MATHEMATICS(1)
- Théorie des types.(1)
- Type theory.(1)
- Typentheorie.(1)
-
34 0 0 0 0
A modern perspective on type theory :from its origins until today
- 作者: Kamareddine, Fairouz D.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書