Temporal logic mathematical foundations and computational aspects

Detalles Bibliográficos
Autor principal: Gabbay, Dov M., 1945- (-)
Otros Autores: Hodkinson, Ian, Reynolds, Mark (Mark A.)
Formato: Libro
Idioma:Inglés
Publicado: Oxford : Clarendon 1994.
Colección:Oxford Logic Guides ; 28
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004124279703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo

Ejemplares similares