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月
装丁：PAP 言語：ENG

税込価格：

10,232円

海外在庫あり 通常２～４週間で出荷

Wider den Reduktionismus

Ausgewählte Beiträge zum Kurt Gödel Preis 2019

Herausgegeben:Passon, Oliver Benzmueller, Christoph

出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2021年 00月
装丁：PAP 版次：1. Aufl. 2021. 2021. xv

税込価格：

9,160円

海外在庫あり 通常２～５週間で出荷

Intelligent Computer Mathematics

13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

Lecture Notes in Computer Science 12236

Herausgegeben von Benzmueller, Christoph Miller, Bruce

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. xi

税込価格：

12,252円

海外在庫あり 通常２～５週間で出荷

On Gödel and the Nonexistence of Time - Gödel und die Nichtexistenz der Zeit

Kurt Gödel essay competition 2021 - Kurt-Gödel-Preis 2021

Herausgegeben:Passon, Oliver Benzmueller, Christoph Falkenburg, Brigitte

出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2023年 00月
装丁：PAP 版次：1. Aufl. 2023. 2023. xii

税込価格：

8,014円

海外在庫あり 通常２～５週間で出荷

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Lecture Notes in Computer Science 14740

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.

出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 版次：2024. 2024. xv

税込価格：

18,137円

海外在庫あり 通常２～５週間で出荷

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14739

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.

出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. xvi

税込価格：

9,802円

海外在庫あり 通常２～５週間で出荷

KI 2019: Advances in Artificial Intelligence

42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings

Lecture Notes in Computer Science .11793

Herausgegeben:Benzmueller, Christoph Stuckenschmidt, Heiner

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. xi

税込価格：

16,176円

海外在庫あり 通常２～５週間で出荷

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Lecture Notes in Artificial Intelligence 13040

Herausgegeben:Benzmueller, Christoph Baroni, Pietro W&aacute

出版社：Springer, Berlin; Springer 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. XV

税込価格：

22,059円

海外在庫あり 通常２～５週間で出荷

Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Lecture Notes in Computer Science .11092

Herausgegeben:Benzmueller, Christoph Ricca, Francesco Parent, Xavier

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xxiii

税込価格：

12,252円

海外在庫あり 通常２～５週間で出荷