Εξώφυλλο από Amazon.com
Automated Reasoning [electronic resource] 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings edited by JΓΌrgen Giesl, Reiner HΓ€hnle
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6173Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN: - 9783642142031
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
