Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Proof Theory for General Unification

Proof Theory for General Unification

von W. Snyder

enthalten in Progress in Computer Science and Applied Logic-Reihe

Proof Theory for General Unification von W. Snyder
Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780817635930
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 178
  • Veröffentlicht:
  • 1. November 1991
  • Ausgabe:
  • 1991
  • Abmessungen:
  • 235x155x12 mm.
  • Gewicht:
  • 990 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über W. Snyder

Alle Bücher von W. Snyder anzeigen

Beschreibung von 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.

Kund*innenbewertungen von Proof Theory for General Unification



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Proof Theory for General Unification ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.