Automated Deduction - CADE-19: 19th International Conference on Automated Deduct
68,51 €
Session 1: Invited Talk. - Session 2. - Equational Abstractions. - Deciding Inductive Validity of Equations. - An AC-Compatible Knuth-Bendix Order. - Session 3. - Optimizing a BDD-Based Modal Solver.
Jetzt bei Ebay: