熱門搜尋

    您輸入的關鍵字: Dov M.

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 106 筆, 頁數 2 / 2

    Handbook of Defeasible Reasoning and Uncertainty Management Systems: Belief Change

    Handbook of Defeasible Reasoning and Uncertainty Management Systems: Belief Change

    • 優惠價: 17500

    Belief change is an emerging field of artificial intelligence and information science dedicated to t... more

    Labelled Deductive Systems: Volume 1

    Labelled Deductive Systems: Volume 1

    • 優惠價: 8700

    This important book provides a new unifying methodology for logic. It replaces the traditional view ... more

    Handbook of Logic in Computer Science: Semantic Structures

    Handbook of Logic in Computer Science: Semantic Structures

    • 優惠價: 21500

    Logic is now widely recognized as one of the foundational disciplines of computing, and its applicat... more

    Handbook of Logic in Computer Science: Semantic Modelling

    Handbook of Logic in Computer Science: Semantic Modelling

    • 優惠價: 20000

    The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the... more

    What Is a Logical System?

    What Is a Logical System?

    • 優惠價: 10000

    This superb collection of papers focuses on a fundamental question in logic and computation: What is... more

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

    • 優惠價: 32400

    Logic is now widely recognized to be one of the foundational disciplines of computing with applicati... more

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

    • 優惠價: 29400

    Logic is now widely recognized to be one of the foundational disciplines of computing with applicati... more

    Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

    Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

    • 優惠價: 10199

    correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS...... more

    Handbook of Philosophical Logic: Volume 17

    Handbook of Philosophical Logic: Volume 17

    • 優惠價: 6599

    This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape o... more

    Handbook of Philosophical Logic: Volume 16

    Handbook of Philosophical Logic: Volume 16

    • 優惠價: 10199

    Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguist... more

    Handbook of Philosophical Logic: Volume 15

    Handbook of Philosophical Logic: Volume 15

    • 優惠價: 10199
    Belief Change

    Belief Change

    • 優惠價: 13199
    Labelled Deduction

    Labelled Deduction

    • 優惠價: 6599

    Labelled deduction is an approach to providing frameworks for presenting and using different logics ... more

    What Is Negation?

    What Is Negation?

    • 優惠價: 13199

    The notion of negation is one of the central logical notions. It has been studied since antiquity an... more

    Quantified Representation of Uncertainty and Imprecision

    Quantified Representation of Uncertainty and Imprecision

    • 優惠價: 19799
    Reasoning with Actual and Potential Contradictions

    Reasoning with Actual and Potential Contradictions

    • 優惠價: 10199
    Handbook of Tableau Methods

    Handbook of Tableau Methods

    • 優惠價: 13199
    Abductive Reasoning and Learning

    Abductive Reasoning and Learning

    • 優惠價: 13199
    Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

    Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

    • 優惠價: 13199
    Abductive Reasoning and Learning

    Abductive Reasoning and Learning

    • 優惠價: 13199
    Labelled Deduction

    Labelled Deduction

    • 優惠價: 6599

    Labelled deduction is an approach to providing frameworks for presenting and using different logics ... more

    Reasoning with Actual and Potential Contradictions

    Reasoning with Actual and Potential Contradictions

    • 優惠價: 10199
    Quantified Representation of Uncertainty and Imprecision

    Quantified Representation of Uncertainty and Imprecision

    • 優惠價: 19799
    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

    • 優惠價: 32400

    Logic is now widely recognized as one of the foundational disciplines of computing and has applicati... more

    Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, Fapr’’96, Bonn, Germany, June (3-7), 1996. Proceedi

    Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, Fapr’’96, Bonn, Germany, June (3-7), 1996. Proceedi

    • 優惠價: 6599
    Temporal Logic: First International Conference, Ictl ’’94, Bonn, Germany, July 11 - 14, 1994. Proceedings

    Temporal Logic: First International Conference, Ictl ’’94, Bonn, Germany, July 11 - 14, 1994. Proceedings

    • 優惠價: 6599
    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

    Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

    • 優惠價: 29400

    Logic is now widely recognized to be one of the foundational disciplines of computing with applicati... more

    Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

    Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

    • 優惠價: 32400

    The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offer... more

    Handbook of Philosophical Logic: Volume 18

    Handbook of Philosophical Logic: Volume 18

    • 優惠價: 8399

    This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors w... more

    Reactive Kripke Semantics

    Reactive Kripke Semantics

    • 優惠價: 6599
    Conditionals and Modularity in General Logics

    Conditionals and Modularity in General Logics

    • 優惠價: 6599
    Handbook of the History of Logic: Logic: A History of Its Central Concepts

    Handbook of the History of Logic: Logic: A History of Its Central Concepts

    • 優惠價: 10260

    The Handbook of the History of Logic is a multi-volume research instrument that brings to the develo... more

    Revision, Acceptability and Context: Theoretical and Algorithmic Aspects

    Revision, Acceptability and Context: Theoretical and Algorithmic Aspects

    • 優惠價: 10199
    Handbook Of The History Of Logic

    Handbook Of The History Of Logic

    • 優惠價: 2090
    Revision, Acceptability and Context: Theoretical and Algorithmic Aspects

    Revision, Acceptability and Context: Theoretical and Algorithmic Aspects

    • 優惠價: 10199
    Logical Tools for Handling Change in Agent-Based Systems

    Logical Tools for Handling Change in Agent-Based Systems

    • 優惠價: 10199

    Agents act on the basis of their beliefs and these beliefs change as they interact with other agents... more

    Handbook of the History of Logic: Logic from Russel to Church

    Handbook of the History of Logic: Logic from Russel to Church

    • 優惠價: 11210
    Handbook of Quantum Logic and Quantum Structures

    Handbook of Quantum Logic and Quantum Structures

    • 優惠價: 8550
    Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics

    Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics

    • 優惠價: 3420
    Rise of Modern Logic: From Leibniz to Frege

    Rise of Modern Logic: From Leibniz to Frege

    • 優惠價: 11590

    With the publication of the present volume, the Handbook of the History of Logic turns its attention... more

    Handbook of the Logic of Argument and Interace: The Turn Towards the Practical

    Handbook of the Logic of Argument and Interace: The Turn Towards the Practical

    • 優惠價: 4218
    Dynamic Syntax: The Flow of Language Understanding

    Dynamic Syntax: The Flow of Language Understanding

    • 優惠價: 11475

    This ground-breaking volume sets out an original model of the dynamics of language processing, which... more

    Temporal Logic: Mathematical Foundations and Computational Aspects

    Temporal Logic: Mathematical Foundations and Computational Aspects

    • 優惠價: 11590
    Approaches to Legal Rationality

    Approaches to Legal Rationality

    • 優惠價: 11999
    Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    • 優惠價: 13199
    Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    • 優惠價: 10199