scientific article; zbMATH DE number 907678

zbMATH Open0844.00009MaRDI QIDQ4886736

Author name not available (Why is that?)

Publication date: 21 July 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

Mathematical inductionBoyer-Moore proverAutomated mathematical induction

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (2)

Automated mathematical induction ⋮ Automated Mathematical Induction

Recommendations

• Automated theorem proving methods 👍 👎
• Automated theorem proving in mathematics. 👍 👎
• Automated mathematical induction 👍 👎
• The automation of proof by mathematical induction 👍 👎
• Automated Mathematical Induction 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4886736)