Logic for Programming, Artificial Intelligence, and Reasoning: 19th Internationa
69,04 €
May-Happen-in-Parallel Analysis for Priority-Based Scheduling. - A Semantic Basis for Proof Queries and Transformations. - Proving Infinite Satisfiability. - SAT-Based Preprocessing for MaxSAT. - HOL Based First-Order Modal Logic Provers.
Jetzt bei Ebay:
