Cover Image

Automated Mathematical Induction /

Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction. Today, the Boyer-Moore theorem prover remains the most successful in the field. For a long time, the research on automated mathematical induction was confined to ve...

Full description

Bibliographic Details
Main Author:	Zhang, H. (Hantao)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1996.
Subjects:	Computer science. Logic. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970 /
by: Siekmann, Jörg H.
Published: (1983)

Practical Applications of Computational Intelligence Techniques /
by: Jain, Lakhmi
Published: (2001)

Managing Uncertainty in Expert Systems /
by: Grzymala-Busse, Jerzy W.
Published: (1991)

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Automated Deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings /
by: Bundy, Alan
Published: (1994)

Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings /
by: McRobbie, Michael A.
Published: (1996)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

Intuitionistic Fuzzy Sets : Theory and Applications /
by: Atanasov, Krasimir
Published: (1999)

Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
by: Gerla, Giangiacomo
Published: (2001)

Reasoning and Unification over Conceptual Graphs /
by: Corbett, Dan
Published: (2003)

Logical Structures for Representation of Knowledge and Uncertainty /
by: Hisdal, Ellen
Published: (1998)

Intelligent Decision Support : Handbook of Applications and Advances of the Rough Sets Theory /
by: Słowiński, Roman
Published: (1992)

Knowledge Representation and Defeasible Reasoning /
by: Kyburg, Henry E.
Published: (1990)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Frontiers in Belief Revision /
by: Williams, Mary-Anne
Published: (2001)

Rough Sets and Data Mining : Analysis of Imprecise Data /
by: Lin, T. Y.
Published: (1996)

Granular Computing : an Introduction /
by: Bargiela, A. (Andrzej)
Published: (2003)

Resolution Proof Systems : An Algebraic Theory /
by: Stachniak, Zbigniew
Published: (1996)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Artificial Intelligence in Logic Design /
by: Yanushkevich, Svetlana N.
Published: (2004)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
by: Nola, Antonio
Published: (1989)

Argumentation Machines : New Frontiers in Argument and Computation /
by: Reed, Chris
Published: (2004)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)

Connectionist Approaches in Economics and Management Sciences /
by: Lesage, Cédric
Published: (2003)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof /
by: Andrews, Peter B.
Published: (2002)

Software Defect and Operational Profile Modeling /
by: Cai, Kai-Yuan
Published: (1998)

Notre Dame journal of formal logic.

Journal of the IGPL.
Published: (1995)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings /
by: Schulz, Klaus U.
Published: (1992)

Fuzzy Logic in Data Modeling : Semantics, Constraints, and Database Design /
by: Chen, Guoqing
Published: (1998)

Soft Computing for Knowledge Discovery : Introducing Cartesian Granule Features /
by: Shanahan, James G.
Published: (2000)