Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Reduktionssysteme

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

126 b

51.85 €

Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Artificial Intelligence in Medicine Steen Andreassen

Mehka

51.65 €

Berserk Deluxe Volume 1 Kentaro Miura

Trda

33.15 €

Hope of Israel; What Is It? Philip Mauro

Trda

28.30 €

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

Mehka

52.96 €

The First-Date Dilemma Jane B Mason

Trda

18.29 €

Terjemahan Surat Al-Fatihah and Surat Al-Baqarah Edisi Bahasa Inggris Muhammad Vandestra

Mehka

17.58 €

Aprender a vivir con niños Rebeca Wild

Mehka

21.62 €

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

Mehka

27.49 €

Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo

Trda

10.60 €

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

Mehka

11.51 €

Chicago's Seasons Christopher Viau

Mehka

10.00 €

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

Mehka

21.32 €

Let's Improve our Russian N. Volkova

Mehka

24.66 €

Cheerfulness as a Life Power Orison Swett Marden

Mehka

3.83 €

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

Mehka

16.37 €

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

Mehka

35.37 €

The Travels of Marco Polo: The Venetian Ben Jonson

Mehka

40.02 €

Geese That Won the War Marilyn Ludwig

Mehka

14.24 €

Salesforce B2C Solution Architect's Handbook Mike King

Mehka

67.02 €

Coś się dzieje w naszym domu Josh Malerman

Mehka

8.48 €

Pravidla randění Penelope Ward

Trda

14.45 €

WYRD SISTERS ZABALA CASEY

Mehka

19.60 €

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

Mehka

32.04 €

Opuestos: Mexican Folk Art Opposites in English and Spanish

Mehka

9.29 €

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.