Automated Reasoning with Analytic Tableaux and Related Methods: International Co
67,31 €
MGTP: A model generation theorem prover — Its advanced features and applications —. - Three faces of natural deduction. - Tableaux for logic programming with strong negation. - Lean induction principles for tableaux.
Jetzt bei Ebay:
