Platzer, André.
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics / [electronic resource] : by André Platzer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital.
9783642145094
10.1007/978-3-642-14509-4 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Mathematics of Computing.
Logics and Meanings of Programs.
Control, Robotics, Mechatronics.
QA8.9-QA10.3
005.131
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics / [electronic resource] : by André Platzer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital.
9783642145094
10.1007/978-3-642-14509-4 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Mathematics of Computing.
Logics and Meanings of Programs.
Control, Robotics, Mechatronics.
QA8.9-QA10.3
005.131