Automated reasoning introduction and applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Wos, Larry
Άλλοι συγγραφείς: Lusk, Ewing, Overbeek, Ross
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Englewood Cliffs, NJ Prentice-Hall 1984
Θέματα:

ΒΚΠ - Πατρα: BSC

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