123,000원
(영문도서) Automated Deduction - Cade 27: 27th International Conference on Automated Deduction Natal B... Paperback, Springer, English, 9783030294359
100,780원
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse ..., Springer
189,280원
10th International Conference on Automated Deduction: Kaiserslautern Frg July 24-27 1990. Proceedings Paperback, Springer
Automated Deduction in Geometry Paperback, Springer
180,480원
9th International Conference on Automated Deduction: Argonne Illinois USA May 23-26 1988. Proceedings Paperback, Springer
166,880원
Proof Theory and Automated Deduction Paperback, Springer
122,080원
5th Conference on Automated Deduction: Les Arcs France July 8-11 1980 Paperback, Springer
Automated Deduction in Equational Logic and Cubic Curves Paperback, Springer
110,880원
Automated Deduction in Geometry: Third International Workshop Adg 2000 Zurich Switzerland September 25-27 2000 Revised Papers Paperback, Springer
Automated Deduction in Classical and Non-Classical Logics: Selected Papers Paperback, Springer
Automated Deduction in Geometry: Second International Workshop Adg''98 Beijing China August 1-3 1998 Proceedings Paperback, Springer
78,380원
Automated Deduction in Geometry: 8th International Workshop ADG 2010 Munich Germany July 22-24 2010 Revised Papers Paperback, Springer
Deduction Systems Paperback, Springer
98,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference... Paperback, Springer, English, 9783030860585
119,840원
Automated Reasoning: 8th International Joint Conference Ijcar 2016 Coimbra Portugal June 27 - July 2 2016 Proceedings Paperback, Springer
62,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference... Paperback, Springer, English, 9783031435126
Artificial Intelligence Automated Reasoning and Symbolic Computation: Joint International Conference..., Springer
64,100원
(영문도서) Automated Reasoning: 11th International Joint Conference Ijcar 2022 Haifa Israel August 8... Paperback, Springer, English, 9783031107689
245,280원
Labelled Deduction Hardcover, Springer
259,840원
ASE 14 29th IEEE/ACM International Conference on Automated Software Engineering Paperback, ACM
155,680원
Intelligent Data Engineering and Automated Learning - IDEAL 2008: 9th International Conference Daejeon..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''99 ..., Springer
Explanation Causation and Deduction Paperback, Springer
Automated Technology for Verification and Analysis: Second International Conference Atva 2004 Taipei..., Springer
118,280원
Intelligent Data Engineering and Automated Learning - Ideal 2017: 18th International Conference Guili..., Springer
144,480원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux 200..., Springer
Intelligent Data Engineering and Automated Learning -- IDEAL 2011: 12th International Conference Norw..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference TABLEAU..., Springer
Intelligent Data Engineering and Automated Learning - IDEAL 2010: 11th International Conference Paisl..., Springer
178,080원
Intelligent Data Engineering and Automated Learning - Ideal 2002: Third International Conference Manc..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''97 ..., Springer
84,000원
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling Paperback, AAAI
85,780원
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling Paperback, AAAI
86,000원
Intelligent Data Engineering and Automated Learning - Ideal 2020: 21st International Conference Gui... Paperback, Springer, English, 9783030623616
149,600원
(영문도서) Automated Reasoning: 9th International Joint Conference Ijcar 2018 Held as Part of the Fede... Paperback, Springer, English, 9783319942049
43,800원
(영문도서) Automated Software Diversity Paperback, Springer, English, 9783031012181
Logic for Programming and Automated Reasoning: 7th International Conference Lpar 2000 Reunion Island ..., Springer
Practice and Theory of Automated Timetabling V: 5th International Conference Patat 2004 Pittsburgh ..., Springer
151,200원
ASE 10 Proceedings of the IEEE/ACM International Conference on Automated Software Engineering Paperback, ACM
187,800원
(영문도서) Advances in Automated Negotiations Paperback, Springer, English, 9789811558719
81,600원
(영문도서) Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structu... Paperback, Springer, English, 9783031166624
114,300원
Automated Reasoning: 10th International Joint Conference Ijcar 2020 Paris France July 1-4 2020 ... Paperback, Springer
16,900원
(영문도서) The Final Deduction Paperback, Bantam, English, 9780553763102
128,200원
(영문도서) Natural Language Processing and Information Systems: 27th International Conference on Applica... Paperback, Springer, English, 9783031084720
13,100원
(영문도서) The Last Deduction Paperback, Independently Published, English, 9798475435236
Practice and Theory of Automated Timetabling IV: 4th International Conference Patat 2002 Gent Belgi..., Springer
121,500원
(영문도서) Euro-Par 2021 Workshops: 27th International Conference on Parallel and Distributed Computing ... Paperback, Springer, English, 9783031061554
286,280원
Induction and Deduction in the Sciences Paperback, Springer
213,980원
Automated Highway Systems Paperback, Springer
27,700원
Kant''s Deduction from Apperception: An Essay on the Transcendental Deduction of the Categories Paperback, de Gruyter
104,840원
Automated Reasoning: 6th International Joint Conference IJCAR 2012 Manchester UK June 26-29 2012 Proceedings Paperback, Springer
77,300원
(영문도서) Artificial Intelligence for Automated Pricing Based on Product Descriptions Paperback, Springer
Automated Reasoning: First International Joint Conference Ijcar 2001 Siena Italy June 18-23 2001 Proceedings Paperback, Springer
120,900원
(영문도서) Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed... Paperback, Springer, English, 9783030856649
Automated Security Management Paperback, Springer
81,700원
Deduction 2e Paperback, Wiley-Blackwell
301,280원
Automated Model Building Paperback, Springer
Automated Reasoning: 7th International Joint Conference Ijcar 2014 Held as Part of the Vienna Summer..., Springer
157,900원
(영문도서) The Logical Deduction of Chinese Traditional Political Philosophy Hardcover, Springer, English, 9789811643750
16,660원
Whats Your Method Mr. Holmes? Deduction Dear Freud Deduction! Paperback, Grin Publishing
77,000원
(영문도서) Automated Taxonomy Discovery and Exploration Paperback, Springer, English, 9783031114076
123,500원
(영문도서) Advances in Cryptology - ASIACRYPT 2021: 27th International Conference on the Theory and Appl... Paperback, Springer, English, 9783030920777
88,600원
(영문도서) Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and... Paperback, Springer, English, 9783031438486
124,600원
(영문도서) Intelligent Data Engineering and Automated Learning - IDEAL 2021: 22nd International Conferen... Paperback, Springer, English, 9783030916077
163,900원
(영문도서) Advances in Cryptology - Asiacrypt 2021: 27th International Conference on the Theory and Appl... Paperback, Springer, English, 9783030920746
80,640원
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Form..., Springer
90,100원
(영문도서) Automated Technology for Verification and Analysis: 19th International Symposium ATVA 2021 ... Paperback, Springer, English, 9783030888848
147,400원
(영문도서) Intelligent Data Engineering and Automated Learning - Ideal 2018: 19th International Conferen... Paperback, Springer, English, 9783030034924
96,800원
(영문도서) Automated Technology for Verification and Analysis: 21st International Symposium Atva 2023 ... Paperback, Springer, English, 9783031453311
90,700원
(영문도서) Fundamentals of Connected and Automated Vehicles Paperback, SAE International, English, 9780768099805
261,000원
Proceedings of the 27th International Conference on Systems Engineering Icseng 2020 Paperback, Springer, English, 9783030657956
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Form..., Springer
138,000원
Kant''s Deduction from Apperception: An Essay on the Transcendental Deduction of the Categories Hardcover, de Gruyter, English, 9783110582697
Automated Reasoning: 4th International Joint Conference Ijcar 2008 Sydney Nsw Australia August 12-15 2008 Proceedings Paperback, Springer
Aspects of Automated Natural Language Generation: 6th International Workshop on Natural Language Gener..., Springer
160,400원
(영문도서) Perspectives on Deduction: Contemporary Studies in the Philosophy History and Formal Theorie... Hardcover, Springer, English, 9783031514050
(영문도서) A Critical Reflection on Automated Science: Will Science Remain Human? Paperback, Springer, English, 9783030250034
91,200원
(영문도서) ADAS and Automated Driving - Systems Engineering Paperback, SAE International, English, 9781468607444
Induction and Deduction in the Sciences Hardcover, Springer
(영문도서) Automated Verification of Concurrent Search Structures Paperback, Springer, English, 9783031006784
Automated Model Building Hardcover, Springer
66,000원
(영문도서) Collaboration Technologies and Social Computing: 27th International Conference Collabtech 20... Paperback, Springer, English, 9783030850708
Controlling Automated Manufacturing Systems Paperback, Springer
44,740원
Automated Configuration Problem Solving Paperback, Springer
133,280원
Logic Programming and Automated Reasoning: 6th International Conference Lpar''99 Tbilisi Georgia September 6-10 1999 Proceedings Paperback, Springer
426,900원
(영문도서) Green Connected Automated Transportation and Safety: Proceedings of the 11th International Co... Paperback, Springer, English, 9789811654312
Logic Programming and Automated Reasoning: International Conference Lpar ''92 St.Petersburg Russia July 15-20 1992. Proceedings Paperback, Springer
264,980원
Automated Highway Systems Hardcover, Springer
150,500원
(영문도서) Prawitz''s Epistemic Grounding: An Investigation Into the Power of Deduction Paperback, Springer, English, 9783031202964
169,280원
Automated Mathematical Induction Hardcover, Springer
188,400원
(영문도서) Computational Botany: Methods for Automated Species Identification Paperback, Springer, English, 9783662571569
Deduction Computation Experiment: Exploring the Effectiveness of Proof Paperback, Springer