Logic in computer science : modelling and reasoning about systems /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Huth, Michael, 1962-
Otros Autores: Ryan, Mark, 1962- (coaut.)
Formato: Libro
Lenguaje:English
Publicado: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
Edición:2nd ed.
Materias:
Lógica computacional.
Programación lógica.
Acceso en línea:Muestra del texto
Tabla de contenido

Ejemplares similares

Ejemplares similares