Logic for Programming, Artificial Intelligence, and Reasoning: 19th Internationa
68,59 €
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:
