Automata for Branching and Layered Temporal Structures [electronic resource] An Investigation into Regularities of Infinite Transition Systems by Gabriele Puppis
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642118814
- Computer science
- Software engineering
- Computer software
- Logic design
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Logics and Meanings of Programs
- Software Engineering
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Algorithm Analysis and Problem Complexity
- Τεχνητή νοημοσύνη
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |