Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation
67,03 €
Invited Talks. - Our Quest for the Holy Grail of Agent Verification. - Research Papers. - Axiom Pinpointing in General Tableaux. - Proof Theory for First Order ?. ukasiewicz Logic. - Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
Jetzt bei Ebay:
