Q4886736
type: Item
instance of: scholarly article
zbMATH Open document ID: 0844.00009
publication date: 1996-07-21T00:00:00Z
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 907678
zbMATH Keywords: Automated mathematical induction
zbMATH Keywords: Mathematical induction
zbMATH Keywords: Boyer-Moore prover
MaRDI profile type: Publication
Recommended article: Automated Mathematical Induction
Recommended article: Automated mathematical induction
Recommended article: Q4318615
Recommended article: Q4692618
Recommended article: Automated theorem proving in mathematics.
Recommended article: The automation of proof by mathematical induction
Recommended article: Q3781734
Recommended article: Automated theorem proving methods
description: scientific article; zbMATH DE number 907678