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. ![]() | |
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.
All documents in ORBilu are protected by a user license.