Loading...

Introduction to mathematics of satisfiability /

Bibliographic Details
Main Author: Marek, Wiktor
Format: Printed Book
Published: Boca Raton : CRC Press, c2009.
Series:Chapman & Hall/CRC studies in informatics series
Subjects:
Description
Item Description:"A Chapman & Hall book."
Physical Description:xiii, 350 p. : ill. ;
Bibliography:Includes bibliographical references and index.
ISBN:9781439801673 (hardcover : alk. paper)
1439801673 (hardcover : alk. paper)