A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Bücher - Birkhauser Boston Inc - 9780817635930 - 1. November 1991
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

W. Snyder
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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 )