Reactive Kripke Semantics (Cognitive Technologies)

Semantics

von Dov M. M. Gabbay

Taschenbuch

ISBN-13: 978-3-662-51436-8

ISBN-10: 3-662-51436-2

Springer · 2016

S. auch (eventuell von anderen Autoren):
2013Gebundene AusgabeReactive Kripke Semantics (Cognitive Technologies)