Skip to main content
Member $avings: $82,000,605.67 | Books Available: 668,849 | Members Online: 28
Swap Used Books - Buy New Books at Great Prices!
PBS logo
 
 

Search - Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)
Introduction to Mathematics of Satisfiability - Chapman & Hall/CRC Studies in Informatics Series
Author: Victor W. Marek
This book focuses on the satisfiability of theories consisting of propositional logic formulas. It first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. The book then examines clauses, their proof theory and semantics, and basic complexity issu...  more »
ISBN-13: 9781439801673
ISBN-10: 1439801673
Publication Date: 8/6/2009
Pages: 364
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Chapman & Hall/CRC
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.