Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93 | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)
product image
product image
product image
product image

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)

53.49 EUR 3% Off 54.99 EUR

Marke: Springer Berlin Heidelberg
MPN: 1
ISBN: 3540582339

Ähnliche Produkte

High Order Difference Methods for Time Dependent PDE

104.30 EUR 153.50 EUR
Produkt anzeigen

Discrete-Time High Order Neural Control: Trained with Kalman Filtering (Studies in Computational Intelligence, Band 112)

101.54 EUR 118.00 EUR
Produkt anzeigen

Isabelle/HOL

64.19 EUR 71.00 EUR
Produkt anzeigen

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074, Band 1074)

53.49 EUR 59.00 EUR
Produkt anzeigen