Handbook of satisfiability /

Mostrar otras versiones (1)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Biere, Armin, Heule, Marijn, 1979-, Maaren, Hans van
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2021.
Edición:Second edition.
Colección:Frontiers in artificial intelligence and applications ; v. 336.
Temas:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Calcul propositionnel > Congrès.
Prise de décision > Congrès.
Algorithmes > Congrès.
Algèbre de Boole > Congrès.
Algebra, Boolean
Computer algorithms
Decision making
Propositional calculus
Conference papers and proceedings
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares