Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Proof Theory for General Unification

Name: Proof Theory for General Unification
Brand: Birkhauser Boston Inc
SKU: 01398987
Price: 54.28 EUR
Availability: InStock
Author: Wayne Snyder
ISBN: 9780817635930

Wayne Snyder

Език

Английски език

Книга С твърди корици

Код Либристо: 01398987

Издателство Birkhauser Boston Inc, ноември 1991

In this monograph we study two generalizations of standard unification, E-unification and higher-ord... Цялото описание

Код Либристо: 01398987

132 b

54.28 €

106.17 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Dotyková knižka pre najmenších Zvieratá

Дипляна

5.83 € 11.39 лв

La oposición venezolana y los medios de comunicación Jhosef Eduardo Meza Cuesta

С меки корици

47.01 € 91.94 лв

Què penses després de fer-ho Matias Guiu

С меки корици

10.16 € 19.87 лв

Атака на Титанов. Книга 1 Хадзимэ Исаяма

С твърди корици

29.36 € 57.42 лв

Rechenrabe 3. Ausgabe Nordrhein-Westfalen

Лист

7.37 € 14.42 лв

Pepper Nut - der dritte Auftrag. Life is a Story - story.one Stefanie Grötzner

С твърди корици

17.13 € 33.50 лв

L'expansió urbanística del Maó il·lustrat arran de la desamortització de 1798-1808 Sintes Espasa

С меки корици

25.95 € 50.76 лв

Benedicto XVI. El Papa de la fe y de la razón Mariano Fazio Fernández

С меки корици

10.83 € 21.19 лв

La vuelta al mundo en 80 dias Verne

MP3

10.11 € 19.77 лв

LA ADMINISTRACION PUBLICA COMO PROFESION SANCHEZ GONZALEZ

С меки корици

31.83 € 62.26 лв

Predator Omnibus Volume 02

С меки корици

103.82 € 203.06 лв

Leo und die magische Fußball-Akademie: Der größte Zauber liegt in dir! Tom Weiler

С меки корици

13.36 € 26.13 лв

Kroatien - Perle des Balkans (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Календар

20.69 € 40.46 лв

Atención inicial de urgencias pediátricas Souam Nguélé Silé

С меки корици

41.38 € 80.94 лв

Beni Kesfet Seray Kücük

С меки корици

13.82 € 27.04 лв

Heterogene Erwartungen auf dem Geldmarkt. Frank Trosky

С меки корици

78.02 € 152.59 лв

Das Gesetz der Anziehung Michael J. Losier

С меки корици

11.55 € 22.60 лв

Von Psychiatrie zu Mental Health Robert Hochreiter

С меки корици

17.08 € 33.40 лв

Handbuch der personenzentrierten Spieltherapie Herbert Goetze

С твърди корици

59.60 € 116.56 лв

ŠPANĚLSKO COSTA BRAVA, ANDORRA, PERPIŇÁN, BARCELONA 1:200 000

Книга

9.95 € 19.47 лв

Asistencia y guía a grupos turísticos Picazo

С меки корици

43.45 € 84.97 лв

Une Election Dans l'Ariege En 1850, Revue Retrospective DRONSART-V-C

С меки корици

14.55 € 28.45 лв

Akten und Verhandlungen der Deutschen Synode des Ostens Anonymous

С меки корици

13.31 € 26.03 лв

Život není fráze Ivo Stolařík

С твърди корици

9.13 € 17.85 лв

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. The formalism presents the unification computation as a set of non-deterministic transformation rules for con verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by providing a clean separation of the logical issues from the specification of procedural information, and amounts to a set of 'inference rules' for unification, hence the title of this book. We derive the set of transformations for general E-unification and higher order unification from an analysis of the sense in which terms are 'the same' after application of a unifying substitution. In both cases, this results in a simple extension of the set of basic transformations given by Herbrand Martelli-Montanari for standard unification, and shows clearly the basic relationships of the fundamental operations necessary in each case, and thus the underlying structure of the most important classes of term unifi cation problems.