Title
Towards automation of proofs by induction
Year
DOI
Venue
1977
10.1007/3-540-08138-0_18
Theoretical Computer Science
Keywords
DocType
ISBN
Towards automation
Conference
3-540-08138-0
Citations 
PageRank 
References 
0
0.34
2
Authors
1
Name
Order
Citations
PageRank
Friedrich W. Von Henke142549.05