Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Benzmueller, Christoph (EDT)
Brown, Chad E (EDT)
Siekmann, Joerg (EDT)
- 出版社：College Publications
- 出版年月：2008年 12月
- ISBN：9781904987703
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：480 p.
- DDC分類：511.3