Logic for Programming, Artificial Intelligence, and Reasoning: 13th Internationa
124,41 €
Deciding Satisfiability of Positive Second Order Joinability Formulae. - Inductive Decidability Using Implicit Induction. - On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.
Jetzt bei Ebay:
