Deontic Logic in Computer Science [electronic resource] 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings edited by Guido Governatori, Giovanni Sartor
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642141836
- Computer science
- Logic design
- Computational complexity
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Mathematical Logic and Formal Languages
- Discrete Mathematics in Computer Science
- Computation by Abstract Devices
- Logics and Meanings of Programs
- Mathematics of Computing
- Τεχνητή νοημοσύνη
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |