Code: 06809239

Reduktionssysteme

Name: Reduktionssysteme
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06809239
Price: 51.81 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

51.81 €

RRP: 55.55 €

You save 3.74 €

In stock at our supplier
Shipping in 8 - 11 days

Add to wishlist

Berserk Deluxe Volume 1
35.65 € -25 %
Buy
WYRD SISTERS
19.59 € -24 %
Buy
Aircraft Systems - Mechanical, Electrical and Avionics Subsystems Integration 3e
118.38 € -10 %
Buy
Archidoodle
18.07 € -22 %
Buy
Pravidla randění
14.84 € -19 %
Pre-order
We All Go Travelling By
6.35 € -45 %
Buy
Rodinná Biblia
23.02 € -19 %
Buy
Katalog Hosty
12.52 € -12 %
Buy
Let's Improve our Russian
27.77 € -12 %
Buy
The Little Prince
18.58 € -19 %
Buy
Cheerfulness as a Life Power
3.83 € -50 %
Buy
VW Bus
12.21 € -10 %
Buy
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste
13.53 € -16 %
Pre-order
La Blessure
21.81 €
Buy
White Wolf
5.85 € -25 %
Buy
The First-Date Dilemma
19.69 € -26 %
Buy
18 UEbungen des Taiji-Qigong by Gabi Philippsen
17.97 € -11 %
Buy
The Travels of Marco Polo: The Venetian
39.99 € -1 %
Buy
Companion to Rock Art
181.81 € -9 %
Buy
Método TED para hablar en público
20.09 €
Buy
Zirkuskind
16.25 € -10 %
Buy
Reprise
31.71 €
Buy
Critique of Ayn Rand's Philosophy of Religion
52.92 €
Buy
Begegnungen Mit Einstein, Von Laue Und Planck
67.36 € -7 %
Buy
University Research and Regional Innovation
102.82 € -7 %
Buy
Salesforce B2C Solution Architect's Handbook
66.96 € -1 %
Buy
Desintoxicacion espiritual
12.41 € -17 %
Buy
Backtrack Forward
21 € -24 %
Buy
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets
27.47 €
Buy
Tune In CM1 Pupil's Workbook
2.11 €
Buy
Careera Extrema
7.26 € -24 %
Buy
Very Big Journey
27.36 € -2 %
Buy
Random Walk In Random And Non-random Environments (Third Edition)
151 €
Buy
RMS Titanic: Made in the Midlands
25.24 € -22 %
Buy
Kiss Curse
13.32 € -31 %
Buy
Money for Nothing
58.78 €
Buy
Papst Julius vor der Himmelstür. Julius exclusus e coelis
15.65 € -13 %
Buy
Komplexe Baumaßnahmen im Straßen- und Tiefbau
49.89 € -4 %
Buy
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color
35.34 € -7 %
Buy
Beyond the Rim of Light
18.37 €
Buy
Terjemahan Surat Al-Fatihah and Surat Al-Baqarah Edisi Bahasa Inggris
17.57 € -24 %
Buy
Sons and Heirs
108.27 €
Buy
NGOs addressing the needs of OVC in Marondera, Zimbabwe
73.73 € -14 %
Buy
Wargames
33.53 €
Buy
Willow's Wonders: New School Blues
13.12 € -7 %
Buy
Car-Jacked
11.10 €
Buy
Chicago's Seasons
9.99 € -7 %
Buy
Market Entry and Operational Decision Making in East-West Business Relationships
121.20 €
Pre-order
Guía ilustrada de la medicina china
23.32 €
Buy
Aprender a vivir con niños
23.93 €
Buy
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern.
56.46 € -6 %
Buy
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I
22.31 €
Buy
Opuestos: Mexican Folk Art Opposites in English and Spanish
9.28 € -24 %
Buy
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua
32.01 € -14 %
Buy
11+ Verbal Reasoning Practice Papers 1
15.75 €
Buy
Dahcotah
22.82 € -2 %
Buy
Skulpturen 2002--1993
55.24 €
Buy
El ADN de las relaciones
14.84 € -9 %
Buy
Mushroom Growing for Beginners - With Chapters on Composting, Spawning, Picking and Pest Control
28.07 € -9 %
Buy
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle
9.89 € -10 %
Buy
Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1
118.98 € -4 %
Buy
Geese That Won the War
14.23 €
Buy
Beyond Multiple Choice
199.49 €
Buy
Historical Sketch Of The Edinburgh Anatomical School (1867)
20.19 € -1 %
Buy
Abraham Lincoln and the Abolition of Slavery in the United States
19.69 € -14 %
Buy
52 Things Mary Wants James To Know: A Different Way To Say It
16.35 € -7 %
Buy
Sanar las heridas del corazón
11.30 €
Buy
Bulletin
48.07 € -1 %
Buy
Conflict, Contradiction, and Contrarian Elements in Moral Development and Education
215.75 €
Buy
Media Product Portfolios
215.75 €
Buy
Treaty Series 3009 (English/French Edition)
45.14 €
Pre-order
Hope of Israel; What Is It?
28.27 € -1 %
Buy
Drinker's Guide to Pure Water
9.89 € -25 %
Buy
Mystical Musings: A Collection of Poetry
11.51 € -7 %
Buy
La Bible manga, volume 3 : les messagers
17.06 €
Buy
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020
11.71 €
Buy
Artificial Intelligence in Medicine
51.61 € -7 %
Buy
Wortspiele
5.55 €
Buy
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers
9.89 € -7 %
Buy
Empirical Economic and Financial Research
102.82 € -7 %
Buy
Mastering AutoCAD 2018 and AutoCAD LT 2018
64.94 € -14 %
Buy
Nursery Rhymes Posters Book for Toddler
6.35 € -7 %
Buy
Coburn College Algebra Essentials with Aleks 360 18 Weeks Access Card
306.76 €
Buy
Media, Modernity and Technology
56.86 €
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

51.81 €

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