<<< 1/1 >>>

Reactive Kripke Semantics

Autor/Editor: Gabbay, Dov M.
Año de edición: 2013
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-642-41389-6
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics) - Mathematical Logic and Foundations - Logic
Título de la Serie: Cognitive Technologies
Tipo de documento: Monografía
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-41389-6
ISSN-e: 2197-6635