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.

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, Amsterdam, The Netherlands, September 23-24, 1993. Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Higher-Order Algebra, Logic, and Term Rewriting Jan Heering
Libristo-code: 05274403
Uitgeverij Springer, Berlin, november 1993
This volume contains the final revised versions of the best papers presented at the First Internatio... Volledige beschrijving
? points 125 b
51.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Semienko súcitu Jeho svätosť dalajláma / Boek Gebonden (harde band)
common.buy 4.84 €
MEMORIES D'UN VICARI GENERAL DE LA SEU D'URGELL, D CREUS / Boek Gebonden (harde band)
common.buy 24.56 €
Lettre A Un Depute de Ses Amis, Sur Le Projet de Loi Electorale DESERIN-J-B / Boek Gebonden (paperback)
common.buy 12.73 €
Billy Lafitte - tome 1 Lune noire Anthony Neil Smith / Boek Gebonden (paperback)
common.buy 11.92 €
Dibujo técnico 1º bachillerato Edebé / Boek Gebonden (paperback)
common.buy 54.59 €
BROCKHAUSEN Libro da colorare Vol. 3 - Libro da colorare: Dinosauro Dortje Golldack / Boek Gebonden (paperback)
common.buy 12.12 €
Paris Avant l'Histoire BERTHET-E / Boek Gebonden (paperback)
common.buy 27.19 €
Les Avantures de Telemaque Fils d'Ulysse. Tome 1 Francois De Salignac De La Mothe-Fenelon / Boek Gebonden (paperback)
common.buy 35.18 €
Sauerkrautkoma, 6 Audio-CD Rita Falk / Audio Audio cd
common.buy 19.71 €
Naruto 65 Masashi Kishimoto / Boek Gebonden (paperback)
common.buy 7.47 €
Briefe aus Russland Helmuth von Moltke / Boek Gebonden (paperback)
common.buy 35.68 €

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

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 Higher-Order Algebra, Logic, and Term Rewriting
Auteur Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 351
EAN 9783540582335
ISBN 3540582339
Libristo-code 05274403
Uitgeverij Springer, Berlin
Gewicht 464
Afmetingen 152 x 229 x 19

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

The first sino-japanese war (1894-1895) Jean Sénat Fleury / Boek Gebonden (paperback)
common.buy 39.22 €
TOP
Burn Herman Pontzer / Boek Gebonden (paperback)
common.buy 12.93 €
Tensorate Series Neon Yang / Boek Gebonden (paperback)
common.buy 17.28 €
A Treatise on Topographical Anatomy or The Anatomy of the Regions of the Human Body Blandin Philippe Frederic / Boek Gebonden (paperback)
common.buy 25.07 €
Explanatory Notes Upon the Old Testament. By John Wesley, ... of 3; Volume 2 MULTIPLE CONTRIBUTOR / Boek Gebonden (harde band)
common.buy 45.80 €
The Frog and The Lady Donna Webster / Boek Gebonden (paperback)
common.buy 12.53 €
Little Guide to Keanu Reeves Orange Hippo! / Boek Gebonden (harde band)
common.buy 8.18 €
Americans Sing Latin America 1935-1961 Various / Audio Audio cd
common.buy 32.35 €
Course in General Linguistics Ferdinand de Saussure / Boek Gebonden (paperback)
common.buy 30.53 €
Nanotechnology in Electrocatalysis for Energy Alessandro Lavacchi / Boek Gebonden (paperback)
common.buy 154.29 €
Blood Mountain Large Print Joanne Taylor Moore / Boek Gebonden (paperback)
common.buy 17.48 €
Christian Attitudes Toward War and Peace Roland H. Bainton / Boek Gebonden (paperback)
common.buy 29.01 €
Grindhouse Austin Fisher / Boek Gebonden (harde band)
common.buy 208.29 €
How To Draw The Human Figure Mark Bergin / Boek Gebonden (paperback)
common.buy 8.18 €
US Foreign Policy in the 1990s Greg Schmergel / Boek Gebonden (paperback)
common.buy 53.28 €
That the People Might Live Jace Weaver / Boek Gebonden (paperback)
common.buy 58.64 €
Viral Fitness Jaap Goudsmit / Boek Gebonden (harde band)
common.buy 120.42 €
Transport Mei-Po Kwan / Boek Gebonden (harde band)
common.buy 504.15 €
Cabanocey BOURGEOIS / Boek Gebonden (paperback)
common.buy 22.94 €
The No Brainer's Guide to Decomposition Cuevas / Boek Gebonden (harde band)
common.buy 15.06 €
Structural Characteristics of Mechanisms with Variable Topologies Chin-Hsing Kuo / Boek Gebonden (paperback)
common.buy 52.47 €
Stories of A Boy's Life Tom McKinnon / Boek Gebonden (paperback)
common.buy 13.34 €

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?