Automated mathematical induction /

• Άλλοι συγγραφείς: Zhang, H. (Hantao) (επιμελητής)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht ; Boston : Kluwer Academic, c1996.
• Θέματα: Επαγωγή (Μαθηματικά)
• Περιγραφή τεκμηρίου: "Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."
• Φυσική περιγραφή: 222 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0792340108