Logic-Based Program Synthesis and Transformation [electronic resource] 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers edited by Danny Schreye
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642125928
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |