The satisfiability problem : algorithms and analyses /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Schöning, Uwe, 1955- (Autor), Torán, Jacobo, 1962- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : Lehmanns Media, [2013]
Colección:Mathematik für Anwendungen ; 3.
Temas:
Algorithms.
Algorithmes.
algorithms.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Algorithms
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares