-
-
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Computer Science Foundations and Applied Logic
-
Farmer, William M.
-
出版社：Birkhäuser
出版年月：2025年 04月
装丁：HRD
言語：ENG
版次：2ND
-
税込価格：
18,382円
海外在庫あり
通常２～５週間で出荷
-
-
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Computer Science Foundations and Applied Logic
-
Farmer, William M.
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2024年 00月
装丁：PAP
版次：1st ed. 2023. 2024. xiv
-
税込価格：
14,705円
海外在庫あり
通常２～５週間で出荷
-
-
Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Lecture Notes in Computer Science
-
Borwein, Jonathan M. (EDT)
Farmer, William M. (EDT)
-
出版社：Springer-Verlag New York Inc
出版年月：2006年 09月
装丁：PAP
言語：ENG
-
税込価格：
12,252円
海外在庫あり
通常２～５週間で出荷
-
-
Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Lecture Notes in Computer Science .11006
-
Herausgegeben von Rabe, Florian
Farmer, William M.
Passmore, Grant O.
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
版次：1st ed. 2018. 2018. xii
-
税込価格：
12,252円
海外在庫あり
通常２～５週間で出荷
