Autonomous Systems – Self-Organization, Management, and Control
Springer Netherlands
Chapter title |
€μ-Logics – Propositional Logics with Self-Reference and Modalities
|
---|---|
Chapter number | 9 |
Book title |
Autonomous Systems – Self-Organization, Management, and Control
|
Published by |
Springer, Dordrecht, January 2008
|
DOI | 10.1007/978-1-4020-8889-6_9 |
Book ISBNs |
978-1-4020-8888-9, 978-1-4020-8889-6
|
Authors |
Se bastian Bab |