Freunden von diesem Artikel berichten:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition
W. Snyder
Preis
$ 65,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 11. - 24. Jun
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition
W. Snyder
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.
178 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 1. November 1991 |
| ISBN13 | 9780817635930 |
| Verlag | Birkhauser Boston Inc |
| Seitenanzahl | 178 |
| Maße | 155 × 235 × 12 mm · 449 g |
| Sprache | Englisch |
Alle Titel von W. Snyder ansehen ( u. a. Gebundenes Buch und Taschenbuch )