Automated mathematical induction
From MaRDI portal
Publication:1915187
zbMath0845.00016MaRDI QIDQ1915187
No author found.
Publication date: 25 August 1996
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (1)
This page was built for publication: Automated mathematical induction
