Temporal logic mathematical foundations and computational aspects
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
Ejemplares similares
-
Temporal logic of programs
por: Kröger, Fred, 1945-
Publicado: (1987) -
The logical basis for computer programming
por: Manna, Zohar
Publicado: (1985) -
Temporal modalities in Arabic logic
por: Rescher, Nicholas, 1928-
Publicado: (1967) -
Dictionary of symbols of mathematical logic
Publicado: (1969) -
Computation as logic
por: Lalement, René
Publicado: (1993)