Bøger af W. Snyder
Filter
Sorter efterSorter
Populære
-
562,95 kr. - Bog
- 562,95 kr.
-
602,95 kr. In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari.
- Bog
- 602,95 kr.