Reihe Computational IntelligenceDavid A. Plaisted × The Efficiency of Theorem Proving StrategiesA Comparative and Asymptotic AnalysisDavid A. PlaistedVieweg & TeubnereBook201353,49 € The Efficiency of Theorem Proving StrategiesA Comparative and Asymptotic AnalysisDavid A. PlaistedVieweg & TeubnereBook2013 The Efficiency of Theorem Proving StrategiesA Comparative and Asymptotic AnalysisDavid A. PlaistedVieweg & TeubnerSoftcover199953,49 €
