Introduction to mathematics of satisfiability /

Detalles Bibliográficos
Autor principal: Marek, Wiktor
Formato: Printed Book
Publicado: Boca Raton : CRC Press, c2009.
Colección:Chapman & Hall/CRC studies in informatics series
Materias:
Propositional calculus.
Logic, Symbolic and mathematical.

Ejemplares similares