Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Reduktionssysteme

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

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

J. Avenhaus

Jezik

Nemščina

Knjiga Mehka

Koda Libristo: 06809239

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 1995

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

Koda Libristo: 06809239

119 b

49.11 €

Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Artificial Intelligence in Medicine Steen Andreassen

Mehka

48.91 €

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

Mehka

11.54 €

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

Mehka

57.01 €

Berserk Deluxe Volume 1 Kentaro Miura

Trda

33.31 €

Hope of Israel; What Is It? Philip Mauro

Trda

28.35 €

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

Mehka

18.22 €

The First-Date Dilemma Jane B Mason

Trda

18.42 €

Aprender a vivir con niños Rebeca Wild

Mehka

21.77 €

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

Mehka

35.44 €

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

Mehka

27.54 €

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

Mehka

16.40 €

Chicago's Seasons Christopher Viau

Mehka

10.02 €

The Travels of Marco Polo: The Venetian Ben Jonson

Mehka

40.10 €

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

Mehka

21.36 €

Let's Improve our Russian N. Volkova

Mehka

24.70 €

Cheerfulness as a Life Power Orison Swett Marden

Mehka

3.84 €

We All Go Travelling By Sheena Roberts

Mehka

8.09 €

Pravidla randění Penelope Ward

Trda

14.47 €

WYRD SISTERS ZABALA CASEY

Mehka

19.64 €

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

Mehka

30.27 €

Opuestos: Mexican Folk Art Opposites in English and Spanish

Mehka

9.31 €

Kiss Curse Erin Sterling

Mehka

13.36 €

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

Mehka

41.31 €

Salesforce B2C Solution Architect's Handbook Mike King

Mehka

67.14 €

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.