Jürgen Avenhaus und Reduktionssysteme - Info zur Person

(1 - 13 von 16

)

bol.com: bol.com | Reduktionssysteme, Jürgen Avenhaus | | Boeken

Reduktionssysteme (paperback). Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt...

Reduktionssysteme | Jürgen Avenhaus | Softcover | ISBN...

www.isbn.de

von Jürgen Avenhaus 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.

DNB, Katalog der Deutschen Nationalbibliothek

portal.dnb.de

Reduktionssysteme : Rechnen und Schliessen in gleichungsdefinierten Strukturen / Jürgen Avenhaus Person(en) Avenhaus, Jürgen: Verleger: Berlin ; Heidelberg ...

AbeBooks: JURGEN AVENHAUS - AbeBooks

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen. von Avenhaus, Jürgen: und eine große Auswahl ähnlicher Bücher, Kunst und...

Jürgen Avenhaus - dandelon.com

external.dandelon.com

Jürgen Avenhaus Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen Mit 39 Abbildungen Inv.-Nr. Prof. Dr. Chr. Walther Technische Hochschule Oarmstadt Fachbereich Informatik Institut für Programm-und Informationssysteme Alexande ...

LV - Detailansicht - PLUSonline - Universität Salzburg

online.uni-salzburg.at

im Semester, immanenter Prüfungscharakter. Zusatzinformationen. Empfohlene Fachliteratur, Jürgen Avenhaus: Reduktionssysteme, Springer

eKVV: WISE Termersetzungssysteme (V) - Alle Daten der...

ekvv.uni-bielefeld.de

Jürgen Avenhaus: Reduktionssysteme, Springer-Verlag Franz Baader und Tobias Nipkow: Term Rewriting and All That, Cambridge University Press

Reduktionssysteme - Rechnen und Schließen in gleichungsdefinierten...

link.springer.com

Reduktionssysteme

Reduktionssysteme | SpringerLink

link.springer.com

No description available for this conference proceedings

Reduktionssysteme | Jürgen Avenhauswww.palgrave.com › book

link.springer.com

Reduktionssysteme. Rechnen und Schließen in gleichungsdefinierten Strukturen. Authors: Avenhaus, Jürgen. Free Preview ...

Reduktionssysteme | Jürgen Avenhauswww.springer.com › book

link.springer.com

Reduktionssysteme. Rechnen und Schließen in gleichungsdefinierten Strukturen. Autoren: Avenhaus, Jürgen. Vorschau ...

Alle Infos zum Namen "Jürgen Avenhaus"

Reduktionssysteme - Jürgen Avenhaus - Buch kaufen | Ex Libriswww.exlibris.ch › ... › IT & Informatik › Informatik › Reduktionssysteme

www.exlibris.ch

Reduktionssysteme von Jürgen Avenhaus - Buch aus der Kategorie Informatik günstig und portofrei bestellen im Online Shop von Ex Libris.

Reduktionssysteme | springerprofessional.dewww.springerprofessional.de › reduktionssysteme

www.springerprofessional.de

Autor: Professor Dr. Jürgen Avenhaus. Verlag: Springer Berlin Heidelberg. Print ISBN: Electronic ISBN: Enthalten in: ...

Verwandte Suchanfragen zu Jürgen Avenhaus

Aart Middeldorp
Claude Kirchner
Theo Härder

Wolfgang Küchlin
Jörg Denzinger
Carsten Sinz

Reinhard Gotzhein
Norbert Ritter
Thomas Hillenbrand

Personen
Vorname "Jürgen" (57107)
Name "Avenhaus" (20)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jürgen Avenhaus und Reduktionssysteme Person-Info