Puppis, Gabriele.
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems / [electronic resource] : by Gabriele Puppis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5955 0302-9743 ; . - Lecture Notes in Computer Science, 5955 .
9783642118814
10.1007/978-3-642-11881-4 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
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.
Q334-342 TJ210.2-211.495
006.3
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems / [electronic resource] : by Gabriele Puppis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5955 0302-9743 ; . - Lecture Notes in Computer Science, 5955 .
9783642118814
10.1007/978-3-642-11881-4 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
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.
Q334-342 TJ210.2-211.495
006.3