Automated Deduction CADE-12: 12th International Conference on Automated Deductio
68,41 €
The crisis in finite mathematics: Automated reasoning as cause and cure. - A divergence critic. - Synthesis of induction orderings for existence proofs. - Lazy generation of induction hypotheses. - The search efficiency of theorem proving strategies.
Jetzt bei Ebay:
