도서/음반/DVD > 해외도서 > 컴퓨터 > AI/머신러닝 > 전문가 시스템
211,680원
역대최고가 211,680원
최근평균가 211,680원
역대최저가 179,920원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton''s Principia Hardcover, Springer
144,480원
Mechanical Geometry Theorem Proving Paperback, Springer
Mechanical Geometry Theorem Proving Hardcover, Springer
61,600원
Force and Geometry in Newton''s "Principia" Paperback, Princeton University Press
Mathematics Mechanization: Mechanical Geometry Theorem-Proving Mechanical Geometry Problem-Solving an..., Springer
154,000원
Force and Geometry in Newton''s "Principia" Hardcover, Princeton University Press
155,680원
Theorem Proving with the Real Numbers Paperback, Springer
78,340원
Tame Geometry with Application in Smooth Analysis Paperback, Springer
44,780원
Nonstandard Analysis: A Practical Guide with Applications Paperback, Springer
189,280원
Automated Theorem Proving: Theory and Practice Paperback, Springer
100,780원
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis Paperback, Vieweg+teubner Verlag
Nonstandard Methods of Analysis Paperback, Springer
256,480원
Automated Theorem Proving: Theory and Practice Hardcover, Springer
110,880원
First-Order Logic and Automated Theorem Proving Paperback, Springer
122,080원
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop Tableaux-95 S..., Springer
390,880원
Nonstandard Analysis: Theory and Applications Paperback, Springer
Nonstandard Analysis and Vector Lattices Paperback, Springer
178,080원
The Strength of Nonstandard Analysis Paperback, Springer
18,980원
Newton''s Principia Paperback, Andesite Press
Nonstandard Analysis Axiomatically Paperback, Springer
Nonstandard Methods of Analysis Hardcover, Springer
162,400원
Newton''s Principia Hardcover, Blurb
Interactive Theorem Proving and Program Development, Springer Berlin Heidelberg
Nonstandard Analysis Theory and Applications Hardcover, Springer
133,280원
Automated Theorem Proving in Software Engineering Paperback, Springer
44,740원
Nonstandard Asymptotic Analysis Paperback, Springer
8,800원
Elementary vector analysis with application to geometry and physics Paperback, Alpha Edition, English, 9789353861155
24,150원
Newton''s Principia Sections I II III with Notes and Illustrations. Paperback, BiblioLife
24,990원
Nonstandard Analysis Axiomatically Hardcover, Springer
Newton''s Principia First Book Sections I II III with Notes and Illus. and a Collection of ... Paperback, BiblioLife
Theorem Proving in Higher Order Logics Paperback, Springer
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions Paperback, Springer
278,880원
Advances in Analysis Probability and Mathematical Physics: Contributions of Nonstandard Analysis Paperback, Springer
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop Tableaux ''96 ..., Springer
235,200원
Kads: A Principled Approach to Knowledge-Based System Development Hardcover, Academic Press
95,880원
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications Paperback, Springer
55,980원
Learning MS Dynamics AX 2012 Programming, Packt Publishing
95,740원
The Description Logic Handbook: Theory Implementation and Applications Paperback, Cambridge University Press
105,280원
Testing Software and Systems: 24th Ifip Wg 6.1 International Conference Ictss 2012 Aalborg Denmark November 19-21 2012 Proceedings Paperback, Springer
Epistemic Logic for AI and Computer Science Paperback, Cambridge University Press
Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents Paperback, Springer
Computer-Based Diagnostic Systems Paperback, Springer
Recent Advances in Intelligent Paradigms and Applications Hardcover, Physica-Verlag
Intelligent Decision Aiding Systems Based on Multiple Criteria for Financial Engineering Hardcover, Springer
A Logical Theory of Nonmonotonic Inference and Belief Change Hardcover, Springer
A Logical Theory of Nonmonotonic Inference and Belief Change Paperback, Springer
235,140원
The Handbook of Applied Expert Systems Hardcover, CRC Press
Building Knowledge-Based Systems for Natural Resource Management Paperback, Springer
Intelligent Information Systems: Proceedings of the IIS''2000 Symposium Bystra Poland June 12-16 2000 Paperback, Physica-Verlag
160,160원
Euro-Par 2012 Parallel Processing: 18th International Conference Euro-Par 2012 Rhodes Island Greece August 27-31 2012. Proceedings Paperback, Springer
334,880원
Fuzzy Relation Equations and Their Applications to Knowledge Engineering Paperback, Springer
72,380원
Excel 3.0: Eine Umfassende Einfuhrung Paperback, Vieweg+teubner Verlag
100 Rezepte Fur Excel 5.0 Paperback, Vieweg+teubner Verlag
Recent Advances in AI Planning: 4th European Conference on Planning Ecp''97 Toulouse France September 24 - 26 1997 Proceedings Paperback, Springer
Foundations of Intelligent Systems: 13th International Symposium Ismis 2002 Lyon France June 27-29 2002. Proceedings Paperback, Springer
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Paperback, Springer
Knowledge Data and Computer-Assisted Decisions Paperback, Springer
222,880원
Foundations of Real-Time Computing: Scheduling and Resource Management Paperback, Springer
Logical Structures for Representation of Knowledge and Uncertainty Paperback, Physica-Verlag
240,800원
Mathematical Models for Handling Partial Knowledge in Artificial Intelligence Paperback, Springer
241,180원
Microelectronic Systems: Circuits Systems and Applications, Springer-Verlag New York Inc
250,880원
The Knowledge Acquisition and Representation Language Karl Hardcover, Springer
Contemporary Knowledge Engineering and Cognition: First Joint Workshop Kaiserslautern Germany February 21-22 1991. Proceedings Paperback, Springer
Automating Knowledge Acquisition for Expert Systems Paperback, Springer
96,320원
The Barefoot Expert: The Interface of Computerized Knowledge Systems and Indigenous Knowledge Systems Hardcover, Greenwood Press
27,600원
An Agent-Based Approach for Selecting and Negotiating with Suppliers in Purchasing Management Paperback, Iconcept Press
301,280원
Building Knowledge-Based Systems for Natural Resource Management Hardcover, Springer
380,800원
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations Hardcover, OUP Oxford
254,240원
Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods Paperback, Springer
72,340원
91 Anwendungen Mit Quattro Pro Fur Windows Paperback, Vieweg+teubner Verlag