Add Wish List Add to Cart The item has been added Theory and Applications of Satisfiability Testing - SAT 2021 This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37... RRP: $194.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Descriptional Complexity of Formal Systems This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Automated Reasoning with Analytic Tableaux and Related Methods This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 - August 1, 2002... RRP: $122.00 Add to Cart The item has been added