Reasoning_图书大全

How the Other Half Thinks: Adventures in Mathematical Reasoning

ISBN：9780071373395

Math enthusiasts aren＇t necessarily the number-crunching geeks we tend to assume. In fact, they kno...

How the Other Half Thinks Adventures in Mathematical Reasoning

Mathematics and Plausible Reasoning, Volume 1

ISBN：9780691025094

Here the author of "How to Solve It" explains how to become a 'good guesser'. Marked by G. Polya's ...

Mathematics and Plausible Reasoning Volume 1

Non-Monotonic Reasoning

ISBN：9780387507019

...

Non Monotonic Reasoning

Logic Programming and Non-Monotonic Reasoning

ISBN：9780262640275

The First International Workshop brings together researchers from the theoretical ends of the logic...

Logic Programming and Non Monotonic Reasoning

HOW TO PASS VERBAL REASONING TESTS

ISBN：9780749434366

Increasing numbers of employers are using verbal reasoning tests, which check understanding and use...

HOW TO PASS VERBAL REASONING TESTS

Legal Reasoning And Legal Writing

ISBN：9780735546554

...

Legal Reasoning And Legal Writing

Legal Method & Reasoning

ISBN：9781859417836

The competent study of law is a finely tuned balance of excellent language ability, good reading an...

Legal Method Reasoning

Case-Based Reasoning Research and Development 基于案例推理研究与发展/会议录

ISBN：9783540281740

This book constitutes the refereed proceedings of the 6th International Conference on Case-Based Re...

Case Based Reasoning Research and Development 基于案例推理研究与发展会议录

Case-Based Reasoning Technology

ISBN：9783540645726

This state-of-the-art survey presents a coherent summary of research and development in case-based ...

Case Based Reasoning Technology

Case-Based Reasoning (Morgan Kaufmann Series in Representation & Reasoning)

ISBN：9781558602373

Case-based reasoning is one of the fastest growing areas in the field of knowledge-base...

Case Based Reasoning Morgan Kaufmann Series in Representation Reasoning

Case-Based Reasoning Research and Development

ISBN：9783540423584

This book constitutes the refereed proceedings of the 4th International Conference on Case-Based Re...

Case Based Reasoning Research and Development

The Art of Reasoning

ISBN：9780393972139

The Third Edition has been meticulously updated and continues the successful pedagogical approach o...

The Art of Reasoning

Reasoning About Knowledge

ISBN：9780262061629

Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each...

Reasoning About Knowledge

Common Sense, Reasoning, and Rationality (New Directions in Cognitive Science)

ISBN：9780195147674

As the eleventh volume in the New Directions in Cognitive Science series (formerly the Vancouver S...

Common Sense Reasoning and Rationality New Directions in Cognitive Science

Automated Reasoning

ISBN：9780130544469

...

Automated Reasoning

Argumentation: The Study of Effective Reasoning

ISBN：9780251405823

What is effective argument? * It is Abraham Lincoln at Cooper Union in 1860, marshalling many ...

Argumentation The Study of Effective Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN：9783540429579

在线阅读本书 Book Description This book constitutes the refereed proceedings of the 8th...

Logic for Programming Artificial Intelligence and Reasoning

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

ISBN：9783540424642

在线阅读本书 This book constitutes the refereed proceedings of the 6th European Conference o...

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

ISBN：9783540425939

在线阅读本书 This book constitutes the refereed proceedings of the 6th Internation...

Logic Programming and Nonmonotonic Reasoning 6 th International Conference LPNMR 2001 Vienna Austria September 17 19 2001 Proceedings

Reasoning and Writing Well

ISBN：9780072947786

This practical and comprehensive guide to writing offers four coordinated books in one: a process-o...

Reasoning and Writing Well

Lapses in Mathematical Reasoning

ISBN：9780486409184

...

Lapses in Mathematical Reasoning

Boolean Reasoning

ISBN：9780486427850

A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works...

Boolean Reasoning

Reasoning Web

ISBN：9783540746133

...

Reasoning Web

Principles and Practice of Semantic Web Reasoning 语义网推理原理与实践/会议录

ISBN：9783540229612

This book constitutes the refereed proceedings of the Second International Workshop on Principles a...

Principles and Practice of Semantic Web Reasoning 语义网推理原理与实践会议录

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN：9783540252368

...

Logic for Programming Artificial Intelligence and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN：9783540201014

...

Logic for Programming Artificial Intelligence and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning编程、人工智能与推理用逻辑学

ISBN：9783540305538

...

Logic for Programming Artificial Intelligence and Reasoning 编程人工智能与推理用逻辑学

Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理/会议录

ISBN：9783540285380

...

Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理会议录

Principles and Practice of Semantic Web Reasoning语义网推理的原理与实践/会议录

ISBN：9783540287933

...

Principles and Practice of Semantic Web Reasoning 语义网推理的原理与实践会议录

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

ISBN：9783540289319

...

Automated Reasoning with Analytic Tableaux and Related Methods International Conference TABLEAUX 2005 Koblenz Germany September 14 17 2005 Proceedings

Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理

ISBN：9783540207214

This book constitutes the refereed proceedings of the 7th International Conference on Logic Program...

Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理

Reasoning Web

ISBN：9783540278283

...

Reasoning Web

Symbolic and Quantitative Approaches to Reasoning with Uncertainty不确定性推理的符号与定量研究/2005年欧洲会议录

ISBN：9783540273264

...

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 不确定性推理的符号与定量研究 2005年欧洲会议录

Mechanizing Mathematical Reasoning 机械化数学推理

ISBN：9783540250517

...

Mechanizing Mathematical Reasoning 机械化数学推理

Advances in Case-Based Reasoning 案例式推理进展/会议录

ISBN：9783540228820

...

Advances in Case Based Reasoning 案例式推理进展会议录

Qualitative Spatial Reasoning with Topological Information

ISBN：9783540433460

在线阅读本书 Spatial knowledge representation and reasoning with spatial knowledge are relev...

Qualitative Spatial Reasoning with Topological Information

Automated Reasoning

ISBN：9783540422549

This book constitutes the refereed proceedings of the First International Joint Conference on Autom...

Automated Reasoning

Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents

ISBN：9783540423676

在线阅读本书 Conditionals are omnipresent, in everyday life as well as in scientific environ...

Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents

The Cambridge Handbook of Thinking and Reasoning

ISBN：9780521531016

Written by foremost authorities from cognitive psychology, cognitive science, and cognitive neurosc...

The Cambridge Handbook of Thinking and Reasoning

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

ISBN：9783540438656

在线阅读本书 This book constitutes the refereed proceedings of the joint International Confe...

Artificial Intelligence Automated Reasoning and Symbolic Computation Joint International Conferences AISC 2002 and Calculemus 2002 Marseille France July 1 5 2002 Proceedings

Reasoning, Action and Interaction in AI Theories and Systems

ISBN：9783540379010

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are ...

Reasoning Action and Interaction in AI Theories and Systems

自动推理Automated reasoning

ISBN：9783540371878

...

自动推理 Automated reasoning

编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoning

ISBN：9783540482819

...

编程人工智能与推理用逻辑 Logic for programming artificial intelligence and reasoning

实例推理进展／会议录 Advances in case-based reasoning

ISBN：9783540441090

在线阅读本书 This book constitutes the refereed preceedings of the 6th European Conference o...

实例推理进展会议录 Advances in case based reasoning

用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods

ISBN：9783540439295

在线阅读本书 This book constitutes the refereed proceedings of the International Conference ...

用分析表格与有关方法自动推理会议录 Automated reasoning with analytic tableaux and related methods

Spatial Cognition IV, Reasoning, Action, Interaction空间认知IV

ISBN：9783540250487

...

Spatial Cognition IV Reasoning Action Interaction 空间认知 IV

基于范例的推理进展//Advances in case-based reasoning

ISBN：9783540368434

...

基于范例的推理进展 Advances in case based reasoning

Coherent Systems, Volume 2 (Studies in Logic and Practical Reasoning)

ISBN：9780444517890

One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first t...

Coherent Systems Volume 2 Studies in Logic and Practical Reasoning

Critical Reasoning

ISBN：9780415241205

Synopsis We all engage in the process of reasoning, but we not always pay attention to whether...

Critical Reasoning

Data Mining and Uncertain Reasoning

ISBN：9780471388784

An expert guide for applying data mining with uncertain reasoning to a wide range of uses ...

Data Mining and Uncertain Reasoning