A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Bøker - Birkhauser Boston Inc - 9780817635930 - 1. november 1991
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 579

Bestillingsvarer

Forventes levert 6. - 14. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 1. november 1991
ISBN13 9780817635930
Utgivere Birkhauser Boston Inc
Antall sider 178
Mål 155 × 235 × 12 mm   ·   449 g
Språk Engelsk  

Se alt med W. Snyder ( f.eks. Innbunden bok og Pocketbok )