Automated reasoning and the discovery of missing and elegant proofs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Wos, Larry
Άλλοι συγγραφείς: Pieper, Gail W.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New Jersey Rinton Press 2003
Θέματα:

ΒΚΠ - Πατρα: BSC

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