도서/음반/DVD > 해외도서 > 컴퓨터 > AI/머신러닝 > 인공지능 정의
100,780원
역대최고가 100,780원
최근평균가 100,780원
역대최저가 100,780원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
84,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference Tableau..., Springer
100,880원
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference Tableau..., Springer
80,640원
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference Tableau..., Springer
94,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference Tableau..., Springer
122,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference TABLEAU..., Springer
144,480원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux 200..., Springer
85,780원
110,880원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''99 ..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''97 ..., Springer
98,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference... Paperback, Springer, English, 9783030860585
62,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference... Paperback, Springer, English, 9783031435126
109,400원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference... Paperback, Springer, English, 9783030290252
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop Tableaux ''96 ..., Springer
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop Tableaux-95 S..., Springer
Artificial Intelligence Automated Reasoning and Symbolic Computation: Joint International Conference..., Springer
Logic for Programming and Automated Reasoning: 7th International Conference Lpar 2000 Reunion Island ..., Springer
133,280원
Logic for Programming Artificial Intelligence and Reasoning: 20th International Conference Lpar-20 ..., Springer
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - ..., Springer
Automated Deduction - Cade-20: 20th International Conference on Automated Deduction Tallinn Estonia July 22-27 2005 Proceedings Paperback, Springer
114,300원
Automated Reasoning: 10th International Joint Conference Ijcar 2020 Paris France July 1-4 2020 ... Paperback, Springer
102,600원
119,840원
Automated Reasoning: 7th International Joint Conference Ijcar 2014 Held as Part of the Vienna Summer..., Springer
Logic Programming and Automated Reasoning: 6th International Conference Lpar''99 Tbilisi Georgia September 6-10 1999 Proceedings Paperback, Springer
155,680원
Logic Programming and Automated Reasoning: International Conference Lpar ''92 St.Petersburg Russia July 15-20 1992. Proceedings Paperback, Springer
Logic Programming and Automated Reasoning: 5th International Conference Lpar ''94 Kiev Ukraine July 16 - 22 1994. Proceedings Paperback, Springer
166,880원
Automated Reasoning: Second International Joint Conference Ijcar 2004 Cork Ireland July 4-8 2004 Proceedings Paperback, Springer
104,840원
Automated Reasoning: 6th International Joint Conference IJCAR 2012 Manchester UK June 26-29 2012 Proceedings Paperback, Springer
189,280원
Automated Reasoning: First International Joint Conference Ijcar 2001 Siena Italy June 18-23 2001 Proceedings Paperback, Springer
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
64,100원
(영문도서) Automated Reasoning: 11th International Joint Conference Ijcar 2022 Haifa Israel August 8... Paperback, Springer, English, 9783031107689
Automated Reasoning: 4th International Joint Conference Ijcar 2008 Sydney Nsw Australia August 12-15 2008 Proceedings Paperback, Springer
Automated Reasoning: Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
105,800원
(영문도서) Formal Methods and Software Engineering: 20th International Conference on Formal Engineering ... Paperback, Springer, English, 9783030024499
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning Fapr''96 Bonn..., Springer
44,780원
Semantic Web-Based Intelligent Geospatial Web Services Paperback, Springer
223,980원
Efficient Dynamic Simulation of Robotic Mechanisms Hardcover, Springer
Engineering Environment-Mediated Multi-Agent Systems: International Workshop Eemmas 2007 Dresden Ge..., Springer
Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence Sbia''96 Curi..., Springer
84,720원
Forecasting Models: Methods and Applications Paperback, Createspace Independent Publishing Platform
Advances in Artificial Intelligence. Pricai 2000 Workshop Reader: Four Workshops Held at Pricai 2000 ..., Springer
Artificial Neural Networks in Pattern Recognition: 5th Inns Iapr Tc 3 Girpr Workshop Annpr 2012 Tren..., Springer
221,740원
Autonomous and Autonomic Systems, Springer-Verlag New York Inc
Developments and Advances in Intelligent Systems and Applications Hardcover, Springer
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications Hardcover, Springer
Knowledge Skill and Artificial Intelligence Paperback, Springer
Bridging Constraint Satisfaction and Boolean Satisfiability Hardcover, Springer
Emerging Ideas on Information Filtering and Retrieval: Dart 2013: Revised and Invited Papers Hardcover, Springer
334,880원
Interdisciplinary Approaches to Language: Essays in Honor of S.-Y. Kuroda Paperback, Springer
61,580원
An Introduction to Harmony Search Optimization Method Paperback, Springer
Patterns of Intuition:Musical Creativity in the Light of Algorithmic Composition, Springer
178,080원
Fuzzy and Multi-Level Decision Making: An Interactive Computational Approach Paperback, Springer
167,980원
Knowledge Annotation: Making Implicit Knowledge Explicit Paperback, Springer
145,580원
Innovative Technologies in Management and Science Paperback, Springer
Formal Models of Agents: Esprit Project Modelage Final Report Selected Papers Paperback, Springer
44,740원
Belief Revision in Non-Classical Logics Paperback, Springer
78,380원
Maschinelles Lernen Und Wissensbasierte Systeme: Systematische Einfuhrung Mit Praxisorientierten Fallstudien Paperback, Springer
Logic Language Information and Computation: 15th International Workshop WoLLIC 2008 Edinburgh UK July 1-4 2008 Proceedings Paperback, Springer
301,280원
Automatic Quantum Computer Programming: A Genetic Programming Approach Hardcover, Springer
313,580원
Information Technology and Intelligent Transportation Systems: Volume 2 Proceedings of the 2015 Inter..., Springer
351,790원
Advances in Design for Inclusion: Proceedings of the Ahfe 2017 International Conference on Design for ..., Springer
Modeling and Mining Ubiquitous Social Media: International Workshops Msm 2011 Boston Ma USA Octobe..., Springer
179,180원
On-Line Trajectory Generation in Robotic Systems: Basic Concepts for Instantaneous Reactions to Unforeseen (Sensor) Events Paperback, Springer
246,380원
Infobiotics: Information in Biotic Systems Hardcover, Springer
Advances in Knowledge Discovery and Management: Volume 7 Hardcover, Springer
211,680원
Hybrid Intelligent Systems Hardcover, Springer
308,000원
Case-Based Learning Paperback, Springer
201,580원
Machine Learning Methods for Ecological Applications Paperback, Springer
Innovations in Bio-inspired Computing and Applications, Springer-Verlag New York Inc
130,030원
Intelligent Robotics and Applications: 4th International Conference 페이퍼북, Springer-Verlag New York Inc
Biomedical Informatics: Discovering Knowledge in Big Data Hardcover, Springer