Cover Image

Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /

The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considera...

Full description

Bibliographic Details
Main Author:	Bibel, Wolfgang
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schmitt, Peter H.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1998.
Series:	Applied logic series ; 9.
Subjects:	Philosophy (General) Logic. Software engineering. Algebra > Data processing. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)

Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

Cut Elimination in Categories /
by: Došen, Kosta
Published: (1999)

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

Belief Change /
by: Dubois, Didier
Published: (1998)

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

The Foundational Debate : Complexity and Constructivity in Mathematics and Physics /
by: DePauli-Schimanovich, Werner
Published: (1995)

Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)

Abduction and Induction : Essays on their Relation and Integration /
by: Flach, Peter A.
Published: (2000)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel /
by: Hölldobler, Steffen
Published: (2000)

Dynamic Worlds : From the Frame Problem to Knowledge Management /
by: Pareschi, Remo
Published: (1999)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)