Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

A Proof Theory for General Unification, 1

Taal EngelsEngels
Boek Gebonden (paperback)
Boek A Proof Theory for General Unification, 1 W. Snyder
Libristo-code: 02005657
Uitgeverij Birkhäuser, september 2012
In this monograph we study two generalizations of standard unification, E-unification and higher-ord... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Untersuchungen UEber Triphenylmethanfarbstoffe Hydrazine Und Indole Emil Fischer / Boek Gebonden (paperback)
common.buy 53.11 €
VINLAND SAGA Nº 23 YUKIMURA / Boek Gebonden (paperback)
common.buy 14.46 €
Notre ami Kaïs Saïed. Essai sur la démocrature tunisienne Hatem Nafti / Boek Gebonden (paperback)
common.buy 17.39 €
Ces belles voitures dont a rêvé mon père VERGES / Boek Boek
common.buy 42.18 €
EL LOCO DE LOS PAJAROS SANTOS / Boek Boek
common.buy 12.74 €
???? ??? ?????? Grimm / Luisterboek MP3
common.buy 1.61 €
Malte / Boek Gebonden (paperback)
common.buy 21.34 €
Un Amor imposible (La Coleccion Eterna de Barbara Cartland 36) Cartland / Luisterboek MP3
common.buy 9.60 €
Logistisches Management Ram Singh / Boek Gebonden (paperback)
common.buy 58.77 €
MÁS ALLÁ DE LA EMOCIÓN Povo Audenis / Boek Gebonden (paperback)
common.buy 18.40 €
Introducción al análisis de las administraciones públicas Mesa del Olmo / Boek Gebonden (paperback)
common.buy 16.79 €
Gros Bedon - série Les Mésaventures du Roi Léon 10 Claude Cloutier / Boek Gebonden (paperback)
common.buy 12.74 €
Les textes fondateurs de l'épistémologie française Anastasios Brenner / Boek Gebonden (paperback)
common.buy 52.40 €
Los Sue?os De Mi Abuelo 15 Ruben Esqueda Vazquez / Boek Gebonden (paperback)
common.buy 10.31 €
Český jazyk 5 nově Jitka Zbořilová / Boek Gebonden (paperback)
common.buy 2.01 €
Der gegenwärtige Status der Krim aus der Perspektive des Völkerrechts Johann Hientzsch / Boek Gebonden (paperback)
common.buy 40.97 €
Enterprise Wikis Martin Seibert / Boek Gebonden (paperback)
common.buy 61.30 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam A Proof Theory for General Unification, 1
Auteur W. Snyder
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 178
EAN 9781461267584
ISBN 1461267587
Libristo-code 02005657
Uitgeverij Birkhäuser
Gewicht 296
Afmetingen 155 x 235 x 10

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Introduction to Proof Theory Mancosu / Boek Gebonden (paperback)
common.buy 37.53 €
Buddhism and American Cinema Danny Rubin / Boek Gebonden (harde band)
common.buy 103.09 €
Levolution Michael (Tennessee Technological University i) Gunter / Boek Gebonden (paperback)
common.buy 21.24 €
Everyday Inequalities: Critical Inquiries Jodi O'Brien / Boek Gebonden (paperback)
common.buy 57.36 €
TOP
Therapeutic Speech Massage Elena Dyakova / Boek Gebonden (paperback)
common.buy 19.32 €
Guelph Versifiers of the 19th Century Knight / Boek Gebonden (paperback)
common.buy 15.77 €
Mauria Steve North / Boek Gebonden (paperback)
common.buy 12.03 €
PlayStation Dreamworld Alfie Bown / Boek Gebonden (paperback)
common.buy 23.26 €
Wordt verwacht
Selected Poems of Donald Hall Donald Hall / Boek Gebonden (paperback)
common.buy 16.89 €
Advances in Environmental Research Justin A Daniels / Boek Gebonden (harde band)
common.buy 340.05 €
ASP.NET Core 2.0 MVC & Razor Pages for Beginners: How to Build a Website Jonas Fagerberg / Boek Gebonden (paperback)
common.buy 43.60 €
Wordt verwacht
Snow Cat Holly Webb / Boek Gebonden (paperback)
common.buy 6.97 €
Orabelle: The Keepers of Imbria Book 1 J. Barrett / Boek Gebonden (paperback)
common.buy 14.26 €
Wordt verwacht
That's not my wombat... Fiona Watt / Boek Leporello (harmonicaboek)
common.buy 8.19 €
The Metaphysics of John Stuart Mill W. L. Courtney / Boek Gebonden (paperback)
common.buy 25.08 €
Lunar Science: Ancient And Modern (1886) Timothy Harley / Boek Gebonden (harde band)
common.buy 35.40 €
Structural Equation Modeling with Mplus Barbara Byrne / Boek Gebonden (paperback)
common.buy 87.71 €
Call It Dog Marli Roode / Boek Gebonden (paperback)
common.buy 12.03 €
Temas de espanol Contrastiva:: Diferencias de usos gramaticales entre esp./inlés Vázquez Fernández / Boek Gebonden (paperback)
common.buy 14.86 €
Fritz John J. Moser / Boek Gebonden (harde band)
common.buy 236.95 €
A Problem Book in Real Analysis Asuman G. Aksoy / Boek Gebonden (harde band)
common.buy 80.63 €
Resplendent Mark W Dutton / Boek Gebonden (paperback)
common.buy 26.90 €
Advances in Polymer Science Hans-Joachim Cantow / Boek Gebonden (paperback)
common.buy 102.99 €
Controversies - Politics and Philosophy in our Time Alain Badiou / Boek Gebonden (paperback)
common.buy 21.74 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?