Automated mathematical induction /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht ; Boston :
Kluwer Academic,
c1996.
|
Θέματα: |
ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: |
511.2 AUT |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |