Automated reasoning introduction and applications
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Englewood Cliffs, NJ
Prentice-Hall
1984
|
Θέματα: |
ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: |
006.3 W |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |