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.

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Taal DuitsDuits
Boek Gebonden (paperback)
Boek Reduktionssysteme J. Avenhaus
Libristo-code: 06809239
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 1995
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Volledige beschrijving
? points 126 b
51.95 €
In extern magazijn Wordt binnen 8-11 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Artificial Intelligence in Medicine Steen Andreassen / Boek Gebonden (paperback)
common.buy 51.75 €
Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr / Boek Gebonden (paperback)
common.buy 12.14 €
Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd / Boek Gebonden (paperback)
common.buy 59.85 €
TOP
Berserk Deluxe Volume 1 Kentaro Miura / Boek Gebonden (harde band)
common.buy 40.50 €
Hope of Israel; What Is It? Philip Mauro / Boek Gebonden (harde band)
common.buy 29.77 €
Método TED para hablar en público JEREMY DONOVAN / Boek Gebonden (paperback)
common.buy 20.15 €
The First-Date Dilemma Jane B Mason / Boek Gebonden (harde band)
common.buy 22.37 €
Aprender a vivir con niños Rebeca Wild / Boek Gebonden (paperback)
common.buy 23.99 €
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Boek Gebonden (paperback)
common.buy 37.36 €
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson / Boek Gebonden (paperback)
common.buy 28.75 €
52 Things Mary Wants James To Know: A Different Way To Say It Levy / Boek Gebonden (paperback)
common.buy 17.31 €
Chicago's Seasons Christopher Viau / Boek Gebonden (paperback)
common.buy 10.62 €
The Travels of Marco Polo: The Venetian Ben Jonson / Boek Gebonden (paperback)
common.buy 42.12 €
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING / Boek Gebonden (paperback)
common.buy 22.37 €
Let's Improve our Russian N. Volkova / Boek Gebonden (paperback)
common.buy 29.46 €
Voordelig
Cheerfulness as a Life Power Orison Swett Marden / Boek Gebonden (paperback)
common.buy 3.84 €
TOP
We All Go Travelling By Sheena Roberts / Boek Gebonden (paperback)
common.buy 9.31 €
Pravidla randění Penelope Ward / Boek Gebonden (harde band)
common.buy 16.30 €
TOP
WYRD SISTERS ZABALA CASEY / Boek Gebonden (paperback)
common.buy 20.96 €
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili / Boek Gebonden (paperback)
common.buy 32.10 €
Opuestos: Mexican Folk Art Opposites in English and Spanish / Boek Gebonden (paperback)
common.buy 9.92 €
Kiss Curse Erin Sterling / Boek Gebonden (paperback)
common.buy 14.37 €
Wordt verwacht
Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs / Boek Gebonden (paperback)
common.buy 45.67 €
Salesforce B2C Solution Architect's Handbook Mike King / Boek Gebonden (paperback)
common.buy 70.58 €

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften.§Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.

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 Reduktionssysteme
Auteur J. Avenhaus
Taal Duits
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1995
Aantal pagina's 261
EAN 9783540585596
ISBN 3540585591
Libristo-code 06809239
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 410
Afmetingen 155 x 235 x 14

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
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

Zirkuskind John Irving / Boek Gebonden (paperback)
common.buy 16.30 €
Komplexe Baumaßnahmen im Straßen- und Tiefbau Emanuel Berk / Boek Gebonden (paperback)
common.buy 52.66 €
Katzen Bruno Morandi / Boek Gebonden (harde band)
common.buy 13.56 €
18 UEbungen des Taiji-Qigong by Gabi Philippsen Stefan Wahle / Boek Gebonden (paperback)
common.buy 18.02 €
Reprise Moby / Video Blu-ray
common.buy 31.79 €
Papst Julius vor der Himmelstür. Julius exclusus e coelis Erasmus von Rotterdam / Boek Gebonden (paperback)
common.buy 15.69 €
Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1 Karl Bertau / Boek Gebonden (harde band)
common.buy 119.30 €
Wordt verwacht
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste Catherine Belton / Boek Gebonden (paperback)
common.buy 13.56 €
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern. Jürgen Frodermann / Boek Gebonden (paperback)
common.buy 56.61 €
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle Simona M. Ceccarelli / Boek Gebonden (harde band)
common.buy 9.92 €
Wortspiele Dagmar Scholz / Boek Gebonden (paperback)
common.buy 5.56 €
Begegnungen Mit Einstein, Von Laue Und Planck Ilse Rosenthal-Schneider / Boek Gebonden (paperback)
common.buy 67.55 €
VW Bus Ken Cservenka / Boek Gebonden (paperback)
common.buy 12.85 €
Careera Extrema Jake Maddox / Boek Gebonden (paperback)
common.buy 7.69 €
Nursery Rhymes Posters Book for Toddler Steven Mark Steven / Boek Gebonden (paperback)
common.buy 6.78 €
La Bible manga, volume 3 : les messagers KUMAI Boek Gebonden (paperback)
common.buy 17.11 €
La Blessure Hervé Ghesquière / Boek Gebonden (paperback)
common.buy 21.77 €
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo / Boek Gebonden (harde band)
common.buy 11.74 €
Katalog Hosty Robert Gabarkiewicz / Boek Gebonden (paperback)
common.buy 12.04 €
Rodinná Biblia Sally Ann Wrightová / Boek Gebonden (harde band)
common.buy 30.07 €
Willow's Wonders: New School Blues Tyrus Goshay / Boek Gebonden (paperback)
common.buy 13.87 €
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers Matthew Preston / Boek Gebonden (paperback)
common.buy 10.52 €
Skulpturen 2002--1993 Werner Ignaz Jans / Boek Gebonden (harde band)
common.buy 55.29 €
Media, Modernity and Technology David Morley / Boek Gebonden (paperback)
common.buy 59.75 €

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