Logic, Language, Information and Computation [electronic resource] 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings edited by Anuj Dawar, Ruy Queiroz
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6188Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN:- 9783642138249
- Computer science
- Computer software
- Logic design
- Computational complexity
- Algebra -- Data processing
- Computer Science
- Mathematical Logic and Formal Languages
- Logics and Meanings of Programs
- Algorithm Analysis and Problem Complexity
- Computation by Abstract Devices
- Discrete Mathematics in Computer Science
- Άλγεβρα -- Ηλεκτρονικοί υπολογιστές -- Προγράμματα
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |