Introduction to mathematics of satisfiability /

Podrobná bibliografie
Hlavní autor: Marek, Wiktor
Médium: Printed Book
Vydáno: Boca Raton : CRC Press, c2009.
Edice:Chapman & Hall/CRC studies in informatics series
Témata:
Propositional calculus.
Logic, Symbolic and mathematical.
Popis
Popis jednotky:"A Chapman & Hall book."
Fyzický popis:xiii, 350 p. : ill. ;
Bibliografie:Includes bibliographical references and index.
ISBN:9781439801673 (hardcover : alk. paper)
1439801673 (hardcover : alk. paper)

Podobné jednotky