Automated mathematical induction /

• Other Authors: Zhang, H. (Hantao) (επιμελητής)
• Format: Book
• Language: English
• Published: Dordrecht ; Boston : Kluwer Academic, c1996.
• Subjects: Επαγωγή (Μαθηματικά)
• Item Description: "Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."
• Physical Description: 222 σ. : εικ. ; 25 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0792340108