Automated Reasoning with Analytic Tableaux and Related Methods: International Co
68,21 €
Short Abstracts of Invited Lectures. - Non Commutative Logic: A Survey (Abstract). - Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract). - Research Papers.
Jetzt bei Ebay:
