Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings | Taschenbuch | 978-3-540-70524-6 | 2008 | Leendert van der Torre |
Logics for Emerging Applications of Databases | " | 978-3-642-62248-9 | 2012 | Jan Chomicki · Gunter Saake |
Logics for Emerging Applications of Databases | Gebunden | 978-3-540-00705-0 | 2003 | Jan Chomicki · Gunter Saake |
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited ... Notes in Computer Science, Band 6572) | Taschenbuch | 978-3-642-20673-3 | 2011 | Jan-Georg Smaus |
D. M. · R.D. · R D. M · R. M. · Ron Meyden · Ron van der