Automated mathematical induction /

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

ΒΚΠ - Πατρα: ALFe

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: 511.2 AUT
Αντίγραφο 1 Στη βιβλιοθήκη