Automated mathematical induction /

• Άλλοι συγγραφείς: Zhang, H. (Hantao) (επιμελητής)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht ; Boston : Kluwer Academic, c1996.
• Θέματα: Επαγωγή (Μαθηματικά)