De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Proof Theory for General Unification

Proof Theory for General Unification

af W. Snyder

indgår i Progress in Computer Science and Applied Logic serien

Proof Theory for General Unification af W. Snyder
Bag om Proof Theory for General Unification

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780817635930
  • Indbinding:
  • Hardback
  • Sideantal:
  • 178
  • Udgivet:
  • 1. november 1991
  • Udgave:
  • 1991
  • Størrelse:
  • 235x155x12 mm.
  • Vægt:
  • 990 g.
Leveringstid: 8-11 hverdage
Forventet levering: 25. november 2024

Bag om W. Snyder

Vis alle bøger af W. Snyder

Beskrivelse af Proof Theory for General Unification

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.

Brugerbedømmelser af Proof Theory for General Unification



Andre købte også..
Find lignende bøger
Bogen Proof Theory for General Unification findes i følgende kategorier: