Del 11092
Rules and Reasoning
Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, Christoph Benzmuller
Häftad
689 kr
Del 12236 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
Häftad, Engelska, 2020
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.
Produktinformation
- Utgivningsdatum2020-07-18
- Mått155 x 235 x 20 mm
- Vikt534 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor337
- FörlagSpringer Nature Switzerland AG
- ISBN9783030535179
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13040
Logic and Argumentation
Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng, Christoph Benzmuller, Y? N. Wang, Y¿ N. Wáng
Häftad
1 269 kr
Del 14740
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule
Häftad
1 049 kr
Del 14739
Automated Reasoning
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule
Häftad
569 kr
Del 11793
KI 2019: Advances in Artificial Intelligence
Christoph Benzmüller, Heiner Stuckenschmidt, Christoph Benzmuller
Häftad
929 kr
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
Oliver Passon, Christoph Benzmüller, Brigitte Falkenburg
Häftad
449 kr