Reference : Reactive Kripke Semantics
Books : Book published as author, translator, etc.
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/26067
Reactive Kripke Semantics
English
Gabbay, Dov M. mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2013
Springer
Cognitive Technologies
978-3-642-41388-9
http://hdl.handle.net/10993/26067
10.1007/978-3-642-41389-6
http://dx.doi.org/10.1007/978-3-642-41389-6

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.