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

Ejemplares similares

Ejemplares similares