Code: 06809239

Reduktionssysteme

Name: Reduktionssysteme
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06809239
Price: 52.13 EUR
Availability: InStock
Author: J. Avenhaus
ISBN: 9783540585596

by J. Avenhaus

Language: German
Binding: Paperback
Number of pages: 261
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995
More about this

52.13 €

RRP: 55.89 €

You save 3.76 €

In stock at our supplier
Shipping in 8 - 11 days

Add to wishlist

Berserk Deluxe Volume 1
37.80 € -28 %
Buy
We All Go Travelling By
8.73 € -24 %
Buy
Let's Improve our Russian
27.94 € -12 %
Buy
WYRD SISTERS
19.71 € -24 %
Buy
Archidoodle
16.96 € -24 %
Buy
Pravidla randění
14.93 € -19 %
Buy
Rodinná Biblia
23.16 € -20 %
Buy
Aircraft Systems - Mechanical, Electrical and Avionics Subsystems Integration 3e
118.81 € -10 %
Buy
Katalog Hosty
12.39 € -13 %
Buy
The Little Prince
18.69 € -19 %
Buy
Cheerfulness as a Life Power
2.33 € -70 %
Buy
Coś się dzieje w naszym domu
9.65 € -17 %
Buy
Zirkuskind
16.35 € -10 %
Buy
White Wolf
5.88 € -25 %
Buy
Método TED para hablar en público
20.22 €
Buy
Reprise
31.90 €
Buy
The First-Date Dilemma
19.81 € -26 %
Buy
The Travels of Marco Polo: The Venetian
40.24 € -1 %
Buy
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets
27.64 €
Buy
Wortspiele
5.58 €
Buy
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color
35.56 € -7 %
Buy
La Blessure
21.54 €
Buy
18 UEbungen des Taiji-Qigong by Gabi Philippsen
18.08 € -11 %
Buy
Komplexe Baumaßnahmen im Straßen- und Tiefbau
50.10 €
Buy
Sanar las heridas del corazón
11.37 €
Buy
Companion to Rock Art
179.69 € -10 %
Buy
Critique of Ayn Rand's Philosophy of Religion
53.25 €
Buy
El ADN de las relaciones
15.34 € -9 %
Buy
Kiss Curse
13.41 € -31 %
Buy
Begegnungen Mit Einstein, Von Laue Und Planck
67.78 € -4 %
Buy
Desintoxicacion espiritual
12.49 € -17 %
Buy
Willow's Wonders: New School Blues
13.20 € -7 %
Buy
Very Big Journey
27.53 € -2 %
Buy
Careera Extrema
7.31 € -24 %
Buy
11+ Verbal Reasoning Practice Papers 1
15.85 €
Buy
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua
32.21 € -14 %
Buy
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I
22.45 €
Buy
University Research and Regional Innovation
103.46 € -7 %
Buy
Beyond Multiple Choice
234.68 €
Buy
Papst Julius vor der Himmelstür. Julius exclusus e coelis
15.74 € -13 %
Buy
Skulpturen 2002--1993
55.28 €
Buy
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle
9.95 € -10 %
Buy
Backtrack Forward
21.13 € -24 %
Buy
Sons and Heirs
108.95 €
Buy
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste
13.61 € -16 %
Pre-order
NGOs addressing the needs of OVC in Marondera, Zimbabwe
74.19 € -14 %
Buy
Abraham Lincoln and the Abolition of Slavery in the United States
19.81 € -14 %
Buy
Guía ilustrada de la medicina china
23.57 €
Buy
Tune In CM1 Pupil's Workbook
2.02 €
Buy
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern.
66.26 € -6 %
Buy
Random Walk In Random And Non-random Environments (Third Edition)
151.94 €
Buy
Mastering AutoCAD 2018 and AutoCAD LT 2018
65.34 € -14 %
Buy
RMS Titanic: Made in the Midlands
25.40 € -22 %
Buy
Coburn College Algebra Essentials with Aleks 360 18 Weeks Access Card
315.58 €
Buy
Terjemahan Surat Al-Fatihah and Surat Al-Baqarah Edisi Bahasa Inggris
17.68 € -24 %
Buy
Money for Nothing
59.14 €
Buy
Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1
119.72 € -1 %
Buy
Beyond the Rim of Light
25.70 €
Buy
Wargames
33.73 €
Buy
52 Things Mary Wants James To Know: A Different Way To Say It
16.46 € -7 %
Buy
Salesforce B2C Solution Architect's Handbook
67.38 € -1 %
Buy
Drinker's Guide to Pure Water
8.83 € -20 %
Buy
Chicago's Seasons
10.05 € -7 %
Buy
Conflict, Contradiction, and Contrarian Elements in Moral Development and Education
240.78 €
Buy
Car-Jacked
11.17 €
Buy
Market Entry and Operational Decision Making in East-West Business Relationships
112.10 €
Buy
Aprender a vivir con niños
24.18 €
Buy
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020
11.48 €
Buy
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers
9.95 € -7 %
Buy
Artificial Intelligence in Medicine
51.93 € -7 %
Buy
Opuestos: Mexican Folk Art Opposites in English and Spanish
9.34 € -24 %
Buy
Empirical Economic and Financial Research
103.46 € -7 %
Buy
Historical Sketch Of The Edinburgh Anatomical School (1867)
20.32 € -1 %
Buy
Mushroom Growing for Beginners - With Chapters on Composting, Spawning, Picking and Pest Control
28.25 € -9 %
Buy
Geese That Won the War
14.32 €
Buy
Dahcotah
22.96 € -2 %
Buy
Bulletin
48.37 € -1 %
Buy
La Bible manga, volume 3 : les messagers
16.76 €
Buy
Treaty Series 3009 (English/French Edition)
45.42 €
Pre-order
Mystical Musings: A Collection of Poetry
11.58 € -7 %
Buy
Hope of Israel; What Is It?
28.45 € -1 %
Buy
Media Product Portfolios
234.68 €
Buy
Media, Modernity and Technology
60.26 €
Buy
International Politics of Eurasia: v. 3: The Politics of Religion in Russia and the New States of Eurasia
42.37 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 126 loyalty points

Book synopsis

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.

Book details

Book category Books in German Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

52.13 €

Full title: Reduktionssysteme
Subtitle: Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme
Author: J. Avenhaus
Language: German
Binding: Paperback
Number of pages: 261
EAN: 9783540585596
ISBN: 3540585591
ID: 06809239
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 410 g
Dimensions: 235 × 155 × 14 mm
Date of publishing: 06. March 1995