Reduktionssysteme von Avenhaus,  Jürgen

Reduktionssysteme

Rechnen und Schließen in gleichungsdefinierten Strukturen

€54.99 brutto
> findR *
Produktinformationen

Reduktionssysteme online kaufen

Die Publikation Reduktionssysteme - Rechnen und Schließen in gleichungsdefinierten Strukturen von ist bei Springer Berlin erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Abstrakte Datentypen, Algebra, Algebraische Semantik, Assoziativgesetz, automatisches Beweisen, Beweis, Gleichung, Knuth-Bendix-Vervollständigung, rechnen, Reduktionssysteme, Relationen, Termersetzungssysteme. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 54.99 EUR und in Österreich 56.53 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!