Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Reduktionssysteme

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

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

J. Avenhaus

Język

Niemiecki

Książka Miękka

Kod Libristo: 06809239

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 1995

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Cały opis

Kod Libristo: 06809239

126 b

220.04 zł

Dostępna u dostawcy Wysyłamy za 8-11 dni

30 dni na zwrot towaru

Klienci kupili także

Artificial Intelligence in Medicine Steen Andreassen

Miękka

219.03 zł

Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr

Miękka

51.49 zł

Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd

Miękka

229.37 zł

Berserk Deluxe Volume 1 Kentaro Miura

Twarda

161.41 zł

Hope of Israel; What Is It? Philip Mauro

Twarda

126.17 zł

Método TED para hablar en público JEREMY DONOVAN

Miękka

85.32 zł

The First-Date Dilemma Jane B Mason

Twarda

89.33 zł

Aprender a vivir con niños Rebeca Wild

Miękka

120.85 zł

Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd

Miękka

158.20 zł

#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson

Miękka

121.76 zł

52 Things Mary Wants James To Know: A Different Way To Say It Levy

Miękka

73.27 zł

Chicago's Seasons Christopher Viau

Miękka

44.86 zł

The Travels of Marco Polo: The Venetian Ben Jonson

Miękka

178.38 zł

Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING

Miękka

94.96 zł

Let's Improve our Russian N. Volkova

Miękka

118.04 zł

Cheerfulness as a Life Power Orison Swett Marden

Miękka

16.25 zł

We All Go Travelling By Sheena Roberts

Miękka

36.93 zł

Pravidla randění Penelope Ward

Twarda

69.16 zł

WYRD SISTERS ZABALA CASEY

Miękka

88.63 zł

Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili

Miękka

136.11 zł

Opuestos: Mexican Folk Art Opposites in English and Spanish

Miękka

41.85 zł

Kiss Curse Erin Sterling

Miękka

60.82 zł

Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs

Miękka

193.23 zł

Salesforce B2C Solution Architect's Handbook Mike King

Miękka

298.74 zł

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.