We review the history of the automation of mathematical induction
J Strother Moore
Claus-Peter Wirth
page 1
page 6
Sign up for DeepAI
Already have an account? Login here
Login to DeepAI
Forgot password? Click here
Don't have an account? Signup here
Become a DeepAI PRO
Pay as you go
SHARE