The satisfiability problem /

Detalles Bibliográficos
Otros Autores: Franco, John (John Vincent), Boros, Endre, Hammer, P. L., 1936-2006
Formato: Libro
Lenguaje:English
Publicado: Amsterdam ; New York : Elsevier, 1999.
Colección:Topics in discrete mathematics ; 10
Materias:
Calculo proposicional.
Toma de decisiones.
Algoritmos en informática.
Álgebra booleana
Descripción
Notas:"Reprinted from Discrete applied mathematics, volumes 96-97 (1999)".
Descripción Física:482 p. : il. ; 27 cm.
Bibliografía:Incluye bibliografías e índice.
ISBN:0444504109
9780444504104

Ejemplares similares