Automated Mathematical Induction
Publisher: Springer
Published: Sep 28, 2011
Format: paperback
Number of pages: 228
ISBN-13: 9789401072502