Instantiation Theory: On the Foundations of Automated Deduction by James G. Will
67,84 €
Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The general unification algorithm is developed as an application of the basic theory.
Jetzt bei Ebay:
