Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

• Κύριος συγγραφέας: Platzer, AndrΓ©
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Θέματα: Computer science; Logic design; Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Mathematics of Computing; Logics and Meanings of Programs; Control, Robotics, Mechatronics; Τεχνητή νοημοσύνη