Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Automated Deduction - CADE-19: 19th International Conference on Automated Deduct

Ø 0.0
0 Bewertungen
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: