109,400원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference... Paperback, Springer, English, 9783030290252
110,880원
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop Tableaux ''96 ..., Springer
54,500원
(영문도서) Automated Deduction - Cade 28: 28th International Conference on Automated Deduction Virtual ... Paperback, Springer, English, 9783030798758
122,080원
Artificial Intelligence Automated Reasoning and Symbolic Computation: Joint International Conference..., Springer
87,100원
Case-Based Reasoning Research and Development: 28th International Conference Iccbr 2020 Salamanca ... Paperback, Springer, English, 9783030583415
64,100원
(영문도서) Automated Reasoning: 11th International Joint Conference Ijcar 2022 Haifa Israel August 8... Paperback, Springer, English, 9783031107689
144,480원
Logic for Programming and Automated Reasoning: 7th International Conference Lpar 2000 Reunion Island ..., Springer
81,700원
(영문도서) Formal Methods for Industrial Critical Systems: 28th International Conference Fmics 2023 An... Paperback, Springer, English, 9783031436802
149,600원
(영문도서) Automated Reasoning: 9th International Joint Conference Ijcar 2018 Held as Part of the Fede... Paperback, Springer, English, 9783319942049
108,400원
(영문도서) Collaboration Technologies and Social Computing: 28th International Conference Collabtech 20... Paperback, Springer, English, 9783031202179
114,300원
Automated Reasoning: 10th International Joint Conference Ijcar 2020 Paris France July 1-4 2020 ... Paperback, Springer
93,200원
(영문도서) Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification Paperback, Springer, English, 9783030878849
133,280원
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - ..., Springer
85,400원
(영문도서) Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning Ruleml+rr 202... Paperback, Springer, English, 9783031215407
123,000원
(영문도서) Automated Deduction - Cade 27: 27th International Conference on Automated Deduction Natal B... Paperback, Springer, English, 9783030294359
102,400원
(영문도서) Computing and Combinatorics: 28th International Conference Cocoon 2022 Shenzhen China Oct... Paperback, Springer, English, 9783031221040
113,200원
(영문도서) Natural Language Processing and Information Systems: 28th International Conference on Applica... Paperback, Springer, English, 9783031353192
Logic Programming and Automated Reasoning: 6th International Conference Lpar''99 Tbilisi Georgia September 6-10 1999 Proceedings Paperback, Springer
63,300원
(영문도서) Automated Deduction - Cade 29: 29th International Conference on Automated Deduction Rome It... Paperback, Springer, English, 9783031384981
155,680원
Logic Programming and Automated Reasoning: International Conference Lpar ''92 St.Petersburg Russia July 15-20 1992. Proceedings Paperback, Springer
99,100원
(영문도서) Systems Signals and Image Processing: 28th International Conference IWSSIP 2021 Bratislava... Paperback, Springer, English, 9783030968779
166,880원
Automated Reasoning: Second International Joint Conference Ijcar 2004 Cork Ireland July 4-8 2004 Proceedings Paperback, Springer
119,840원
Automated Reasoning: 7th International Joint Conference Ijcar 2014 Held as Part of the Vienna Summer..., Springer
105,300원
(영문도서) Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed... Paperback, Springer, English, 9783031125966
107,080원
Logic Programming and Automated Reasoning: 4th International Conference Lpar''93 St.Petersburg Russia July 13-20 1993. Proceedings Paperback, Springer
Automated Reasoning: 8th International Joint Conference Ijcar 2016 Coimbra Portugal June 27 - July 2 2016 Proceedings Paperback, Springer
7th International Conference on Automated Deduction: Proceedings Paperback, Springer
Automated Reasoning: 4th International Joint Conference Ijcar 2008 Sydney Nsw Australia August 12-15 2008 Proceedings Paperback, Springer
68,600원
(영문도서) Graph-Based Representation and Reasoning: 23rd International Conference on Conceptual Structu... Paperback, Springer, English, 9783319913780
124,900원
(영문도서) Advances in Cryptology - Asiacrypt 2022: 28th International Conference on the Theory and Appl... Paperback, Springer, English, 9783031229688
78,600원
(영문도서) Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structu... Paperback, Springer, English, 9783030869816
106,000원
(영문도서) Logic Programming and Nonmonotonic Reasoning: 15th International Conference Lpnmr 2019 Phil... Paperback, Springer, English, 9783030205270
81,600원
(영문도서) Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structu... Paperback, Springer, English, 9783031166624
128,300원
(영문도서) Advances in Cryptology - Asiacrypt 2022: 28th International Conference on the Theory and Appl... Paperback, Springer, English, 9783031229718
85,100원
(영문도서) Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structu... Paperback, Springer, English, 9783030231811
103,900원
(영문도서) Selected Areas in Cryptography: 28th International Conference Virtual Event September 29 - ... Paperback, Springer
123,400원
(영문도서) Neural Information Processing: 28th International Conference ICONIP 2021 Sanur Bali Indon... Paperback, Springer, English, 9783030922726
174,700원
(영문도서) Database Systems for Advanced Applications: 28th International Conference Dasfaa 2023 Tianj... Paperback, Springer, English, 9783031306365
(영문도서) Neural Information Processing: 28th International Conference ICONIP 2021 Sanur Bali Indon... Paperback, Springer, English, 9783030922375
137,300원
(영문도서) Database Systems for Advanced Applications: 28th International Conference Dasfaa 2023 Tianj... Paperback, Springer, English, 9783031306747
157,000원
(영문도서) Neural Information Processing: 28th International Conference ICONIP 2021 Sanur Bali Indon... Paperback, Springer, English, 9783030923099
119,200원
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy France ... Paperback, Springer
Functional Programming Concurrency Simulation and Automated Reasoning Paperback, Springer
108,800원
(영문도서) Case-Based Reasoning Research and Development: 27th International Conference Iccbr 2019 Otz... Paperback, Springer, English, 9783030292485
189,280원
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning Fapr''96 Bonn..., Springer
178,080원
Case-Based Reasoning Research and Development: Third International Conference on Case-Based Reasoning ..., Springer
200,480원
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction New Brunswick Paperback, Springer
(영문도서) Case-Based Reasoning Research and Development: 30th International Conference Iccbr 2022 Nan... Paperback, Springer, English, 9783031149221
Case-Based Reasoning Research and Development: Second International Conference on Case-Based Reasoning..., Springer
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction Townsville North..., Springer
134,700원
(영문도서) Information Processing in Medical Imaging: 28th International Conference Ipmi 2023 San Carl... Paperback, Springer, English, 9783031340475
Automated Deduction - Cade-11: 11th International Conference on Automated Deduction Saratoga Springs ..., Springer
91,400원
(영문도서) Bioinspired Optimization Methods and Their Applications: 8th International Conference Bioma ... Paperback, Springer, English, 9783319916408
70,000원
(영문도서) Pattern Recognition Applications and Methods: 10th International Conference Icpram 2021 and... Paperback, Springer, English, 9783031245374
92,600원
(영문도서) Bioinspired Optimization Methods and Their Applications: 10th International Conference Bioma... Paperback, Springer, English, 9783031210938
123,600원
(영문도서) Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference ... Paperback, Springer, English, 9783030867713
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction Wroclaw Poland ..., Springer
426,900원
(영문도서) Advances in Systems Engineering: Proceedings of the 28th International Conference on Systems ... Paperback, Springer, English, 9783030926069
122,800원
(영문도서) Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference ... Paperback, Springer, English, 9783031456077
95,600원
(영문도서) Rules and Reasoning: 5th International Joint Conference Ruleml+rr 2021 Leuven Belgium Sep... Paperback, Springer, English, 9783030911669
Case-Based Reasoning Research and Development: 7th International Conference on Case-Based Reasoning I..., Springer
70,500원
(영문도서) Rules and Reasoning: Third International Joint Conference Ruleml+rr 2019 Bolzano Italy Se... Paperback, Springer, English, 9783030310943
Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning I..., Springer
74,900원
(영문도서) Pattern Recognition Applications and Methods: 7th International Conference Icpram 2018 Func... Paperback, Springer, English, 9783030054984
105,800원
(영문도서) Software Technology: Methods and Tools: 51st International Conference Tools 2019 Innopolis ... Paperback, Springer, English, 9783030298517
118,200원
Intelligent Data Engineering and Automated Learning - Ideal 2020: 21st International Conference Gui... Paperback, Springer, English, 9783030623647
(영문도서) Formal Methods and Software Engineering: 20th International Conference on Formal Engineering ... Paperback, Springer, English, 9783030024499
76,600원
(영문도서) Pattern Recognition Applications and Methods: 8th International Conference Icpram 2019 Prag... Paperback, Springer, English, 9783030400132
87,000원
(영문도서) Software Engineering and Formal Methods: 21st International Conference Sefm 2023 Eindhoven ... Paperback, Springer, English, 9783031471148
86,200원
(영문도서) Pattern Recognition Applications and Methods: 6th International Conference Icpram 2017 Port... Paperback, Springer, English, 9783319936468
86,000원
Intelligent Data Engineering and Automated Learning - Ideal 2020: 21st International Conference Gui... Paperback, Springer, English, 9783030623616
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
106,400원
Database and Expert Systems Applications: 28th International Conference Dexa 2017 Lyon France Augu..., Springer
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative ..., Springer
115,300원
(영문도서) MultiMedia Modeling: 28th International Conference MMM 2022 Phu Quoc Vietnam June 6-10 2... Paperback, Springer, English, 9783030983574
67,800원
(영문도서) Web Services - ICWS 2021: 28th International Conference Held as Part of the Services Confere... Paperback, Springer, English, 9783030961398
84,300원
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods... Paperback, Springer, English, 9783030634056
265,000원
Advances in Service and Industrial Robotics: Proceedings of the 28th International Conference on Rob... Paperback, Springer
91,000원
(영문도서) Relational and Algebraic Methods in Computer Science: 17th International Conference Ramics 2... Paperback, Springer
124,800원
(영문도서) Cross-Cultural Design. Methods Tools and User Experience: 11th International Conference CCD... Paperback, Springer, English, 9783030225766
Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach FL U..., Springer
213,800원
(영문도서) Mesh Methods for Boundary-Value Problems and Applications: 13th International Conference Kaz... Paperback, Springer, English, 9783030878115
86,100원
(영문도서) Relational and Algebraic Methods in Computer Science: 20th International Conference Ramics 2... Paperback, Springer, English, 9783031280825
223,500원
(영문도서) Research on Reasoning with Data and Statistical Thinking: International Perspectives Hardcover, Springer, English, 9783031294587
112,300원
(영문도서) Software Engineering and Formal Methods: 19th International Conference SEFM 2021 Virtual Ev... Paperback, Springer, English, 9783030921231
181,500원
(영문도서) Exa 2014: Proceedings of the International Conference on Exotic Atoms and Related Topics (Exa... Paperback, Springer, English, 9783319831879
91,200원
Rules and Reasoning: Second International Joint Conference Ruleml+rr 2018 Luxembourg Luxembourg ... Paperback, Springer
Many-Valued Logics 2: Automated Reasoning and Practical Applications Paperback, Springer
107,860원
Databases Theory and Applications: 28th Australasian Database Conference Paperback, Springer
Petri Nets and Other Models of Concurrency-ICATPN 2007: 28th International Conference on Applications ..., Springer
188,400원
(영문도서) Computational Botany: Methods for Automated Species Identification Paperback, Springer, English, 9783662571569
Logic for Programming Artificial Intelligence and Reasoning: 9th International Conference Lpar 2002..., Springer
100,780원
Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures Iccs..., Springer
Logic for Programming Artificial Intelligence and Reasoning: 13th International Conference Lpar 200..., Springer