Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer
123,08 €
By Christian Prehofer. Author Christian Prehofer. 1 Introduction. - 2 Preview. - 2.2 Narrowing. - 2.3 Narrowing and Logic Programming. -Calculus and Higher-Order Logic. - 2.6 Higher-Order Unification.
Jetzt bei Ebay:
