Automated mathematical induction /

• Other Authors: Zhang, H. (Hantao) (επιμελητής)
• Format: Book
• Language: English
• Published: Dordrecht ; Boston : Kluwer Academic, c1996.
• Subjects: Επαγωγή (Μαθηματικά)