Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Reduktionssysteme

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

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

J. Avenhaus

Idioma

Alemán

Libro Tapa blanda

Código Libristo: 06809239

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 1995

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Descripción completa

Código Libristo: 06809239

126 b

51.29 €

Almacenamiento externo Envío en 8-11 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Artificial Intelligence in Medicine Steen Andreassen

Tapa blanda

51.09 €

Berserk Deluxe Volume 1 Kentaro Miura

Tapa dura

35.19 €

Hope of Israel; What Is It? Philip Mauro

Tapa dura

30.79 €

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

Tapa blanda

57.29 €

The First-Date Dilemma Jane B Mason

Tapa dura

22.09 €

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

Tapa blanda

19.69 €

Aprender a vivir con niños Rebeca Wild

Tapa blanda

21.39 €

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

Tapa blanda

29.59 €

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

Tapa dura

11.59 €

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

Tapa blanda

12.59 €

Chicago's Seasons Christopher Viau

Tapa blanda

10.99 €

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

Tapa blanda

24.09 €

Let's Improve our Russian N. Volkova

Tapa blanda

30.69 €

Cheerfulness as a Life Power Orison Swett Marden

Tapa blanda

3.79 €

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

Tapa blanda

17.99 €

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

Tapa blanda

38.79 €

The Travels of Marco Polo: The Venetian Ben Jonson

Tapa blanda

43.59 €

Geese That Won the War Marilyn Ludwig

Tapa blanda

15.39 €

Salesforce B2C Solution Architect's Handbook Mike King

Tapa blanda

72.99 €

Coś się dzieje w naszym domu Josh Malerman

Tapa blanda

10.29 €

Pravidla randění Penelope Ward

Tapa dura

17.39 €

WYRD SISTERS ZABALA CASEY

Tapa blanda

21.89 €

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

Tapa blanda

31.69 €

Opuestos: Mexican Folk Art Opposites in English and Spanish

Tapa blanda

10.39 €

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.