Cargando…
Logic in computer science : modelling and reasoning about systems /
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Cambridge [U.K.] ; New York :
Cambridge University Press,
2004.
|
Edición: | 2nd ed. |
Materias: | |
Acceso en línea: | Muestra del texto Tabla de contenido |
Search Result 1