Bøger af W. Snyder
Filter
Sorter efterSorter
Populære
-
563,95 kr. - Bog
- 563,95 kr.
-
999,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
- 999,95 kr.