Rippling: A heuristic for guiding inductive proofs

, , , &
Artificial Intelligence 62 (2):185-253 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90079-q

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Alan Bundy (ed.), Catalogue of Artificial Intelligence Techniques; Dennis Mercadal, Dictionary of Artificial Intelligence; Jenny Raggett and William Bains, Artificial Intelligence from A to Z; Ellen Thro, The Artificial Intelligence Dictionary.S. S. Ali - 1996 - Minds and Machines 6:100-105.
Connection-driven inductive theorem proving.Christoph Kreitz & Brigitte Pientka - 2001 - Studia Logica 69 (2):293-326.
Alan Turing: The Enigma. Andrew Hodges.William Aspray - 1984 - Isis 75 (3):625-626.
Alan Turing: The Enigma by Andrew Hodges. [REVIEW]William Aspray - 1984 - Isis 75:625-626.
The Turing Person [review of Andrew Hodges, Alan Turing: the Enigma ].I. Grattan-Guinness - 1984 - Russell: The Journal of Bertrand Russell Studies 4 (2):321-322.
Alan Bowman – Andrew Wilson, The Roman Agricultural Economy. Organization, Investment, and Production, Oxford 2013.Kai Ruffingcorresponding Author Kassel Germanyemailother Articles by This Author:De Gruyter Onlinegoogle Scholar - 2017 - Klio 99 (2).
Trade, Commerce, and the State in the Roman World ed. by Andrew Wilson and Alan Bowman.Jonathan S. Perry - 2019 - Classical World: A Quarterly Journal on Antiquity 113 (1):102-103.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,459,590)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.
Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.

Add more citations

References found in this work

Add more references