Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Limba germanăgermană
Carte Carte broșată
Carte Reduktionssysteme J. Avenhaus
Codul Libristo: 06809239
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 1995
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Descrierea completă
? points 133 b
288.21 lei
În depozitul extern Expediem în 8-11 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Artificial Intelligence in Medicine Steen Andreassen / Carte Carte broșată
common.buy 286.33 lei
Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr / Carte Carte broșată
common.buy 67.11 lei
Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd / Carte Carte broșată
common.buy 299.59 lei
Top
Berserk Deluxe Volume 1 Kentaro Miura / Carte Copertă tare
common.buy 200.21 lei
Hope of Israel; What Is It? Philip Mauro / Carte Copertă tare
common.buy 164.09 lei
Método TED para hablar en público JEREMY DONOVAN / Carte Carte broșată
common.buy 105.84 lei
The First-Date Dilemma Jane B Mason / Carte Copertă tare
common.buy 110.85 lei
Aprender a vivir con niños Rebeca Wild / Carte Carte broșată
common.buy 150.00 lei
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Carte Carte broșată
common.buy 206.27 lei
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson / Carte Carte broșată
common.buy 157.41 lei
52 Things Mary Wants James To Know: A Different Way To Say It Levy / Carte Carte broșată
common.buy 95.61 lei
Chicago's Seasons Christopher Viau / Carte Carte broșată
common.buy 58.45 lei
The Travels of Marco Polo: The Venetian Ben Jonson / Carte Carte broșată
common.buy 231.95 lei
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING / Carte Carte broșată
common.buy 123.07 lei
Let's Improve our Russian N. Volkova / Carte Carte broșată
common.buy 146.55 lei
Leftin
Cheerfulness as a Life Power Orison Swett Marden / Carte Carte broșată
common.buy 20.24 lei
Top
We All Go Travelling By Sheena Roberts / Carte Carte broșată
common.buy 48.95 lei
Pravidla randění Penelope Ward / Carte Copertă tare
common.buy 85.90 lei
Top
WYRD SISTERS ZABALA CASEY / Carte Carte broșată
common.buy 116.70 lei
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili / Carte Carte broșată
common.buy 178.92 lei
Opuestos: Mexican Folk Art Opposites in English and Spanish / Carte Carte broșată
common.buy 55.21 lei
Kiss Curse Erin Sterling / Carte Carte broșată
common.buy 80.68 lei
Curând
Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs / Carte Carte broșată
common.buy 239.78 lei
Salesforce B2C Solution Architect's Handbook Mike King / Carte Carte broșată
common.buy 388.43 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Reduktionssysteme
Autor J. Avenhaus
Limba germană
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 261
EAN 9783540585596
ISBN 3540585591
Codul Libristo 06809239
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 410
Dimensiuni 155 x 235 x 14

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Zirkuskind John Irving / Carte Carte broșată
common.buy 90.39 lei
Komplexe Baumaßnahmen im Straßen- und Tiefbau Emanuel Berk / Carte Carte broșată
common.buy 262.85 lei
Katzen Bruno Morandi / Carte Copertă tare
common.buy 75.67 lei
18 UEbungen des Taiji-Qigong by Gabi Philippsen Stefan Wahle / Carte Carte broșată
common.buy 100.20 lei
Reprise Moby / Videoclip Blu-ray
common.buy 174.95 lei
Papst Julius vor der Himmelstür. Julius exclusus e coelis Erasmus von Rotterdam / Carte Carte broșată
common.buy 87.37 lei
Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1 Karl Bertau / Carte Copertă tare
common.buy 659.74 lei
Curând
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste Catherine Belton / Carte Carte broșată
common.buy 76.09 lei
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern. Jürgen Frodermann / Carte Carte broșată
common.buy 313.89 lei
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle Simona M. Ceccarelli / Carte Copertă tare
common.buy 55.63 lei
Wortspiele Dagmar Scholz / Carte Carte broșată
common.buy 30.89 lei
Begegnungen Mit Einstein, Von Laue Und Planck Ilse Rosenthal-Schneider / Carte Carte broșată
common.buy 374.13 lei
VW Bus Ken Cservenka / Carte Carte broșată
common.buy 64.08 lei
Careera Extrema Jake Maddox / Carte Carte broșată
common.buy 43.00 lei
Nursery Rhymes Posters Book for Toddler Steven Mark Steven / Carte Carte broșată
common.buy 37.15 lei
La Bible manga, volume 3 : les messagers KUMAI Carte Carte broșată
common.buy 89.77 lei
La Blessure Hervé Ghesquière / Carte Carte broșată
common.buy 114.51 lei
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo / Carte Copertă tare
common.buy 62.00 lei
Katalog Hosty Robert Gabarkiewicz / Carte Carte broșată
common.buy 63.46 lei
Rodinná Biblia Sally Ann Wrightová / Carte Copertă tare
common.buy 157.83 lei
Willow's Wonders: New School Blues Tyrus Goshay / Carte Carte broșată
common.buy 76.72 lei
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers Matthew Preston / Carte Carte broșată
common.buy 58.03 lei
Skulpturen 2002--1993 Werner Ignaz Jans / Carte Copertă tare
common.buy 290.62 lei
Media, Modernity and Technology David Morley / Carte Carte broșată
common.buy 327.57 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo