Полное описание
> Platzer, A. Logical analysis of hybrid systems : proving theorems for complex dynamics / A. Platzer ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer, 2010. - on-line. - 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
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -156663)>
Шифр в сводном ЭК: b7da281d321d5d4830ec24b497579731
Просмотр издания