Полное описание
>
Platzer, A. Logical analysis of hybrid systems : proving theorems for complex dynamics / A. Platzer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - URL: http://dx.doi.org/10.1007/978-3-642-14509-4. - ISBN 978-3-642-14509-4.
Рубрики:
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
Доп. точки доступа:
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-642-14509-4
Просмотр издания