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

Internet

Muestra del texto
Tabla de contenido

Física, Matemáticas e Inteligencia Artificial Xalapa - PIFI 2008-30MSU0940B-21

Detalle de Existencias desde Física, Matemáticas e Inteligencia Artificial Xalapa - PIFI 2008-30MSU0940B-21
Número de Clasificación: QA76.9.L63 H87 2004
Copia 1 Checked out – Vencimiento: 06-23-2028

Física, Matemáticas e Inteligencia Artificial Xalapa -

Detalle de Existencias desde Física, Matemáticas e Inteligencia Artificial Xalapa -
Número de Clasificación: QA76.9.L63 H87 2004
Copia 2 Disponible Hacer reserva
Notas:
  • MIAX

Ejemplares similares