 |
Introduction to Mathematics of Satisfiability [Chapman & Hall/CRC Studies in Informatics Series - 0.0] by Marek, Victor W.13 set, 2018 Tags=[Propositional calculus, Symbolic and mathematical logic, satisfiability, SAT] Amazon=[1439801673] Formats=[PDF] ISBN=[9781439801673] LCN=[QA9.3.M37 2009] OCLC=[690383098] Year=[2009]
|