Name: Proof Theory for General Unification
Price: 999.95 DKK
Availability: InStock
Author: W. Snyder
ISBN: 9780817635930

Proof Theory for General Unification af W. Snyder

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
999,95 kr.

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

Forlag:
Birkhauser Boston Inc

Indbinding:
Hardback

Sideantal:
178

Udgivet:
1. november 1991

Udgave:
1991

Størrelse:
235x155x12 mm.

Vægt:
990 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

Normalpris

999,95 kr. + Fragt
~~999,95 kr.~~

Medlemspris

949,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Proof Theory for General Unification - W. Snyder - Bog

Bag om W. Snyder

Beskrivelse af Proof Theory for General Unification

Brugerbedømmelser af Proof Theory for General Unification

Gør som tusindvis af andre bogelskere