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)

Computer Science
Wo zu kaufen (3) Eigenschaften
Gesponsert
Higher-Order Algebra Logic and Term Rewriting
Hugendubel
53.49 EUR
Preis aktualisiert am: 26-10-2026 19:16:42
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 26-10-2026 16:45:46
Siehe Produktangebot
Gesponsert
Higher-Order Algebra, Logic, and Term Rewriting
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:05
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540612548
MPN
Springer Berlin Heidelberg 7026485

Eigenschaften

Ähnliche Produkte

Discrete-Time High Order Neural Control: Trained with Kalman Filtering (Studies in Computational Intelligence, Band 112)
Discrete-Time High Order Neural Control: Trained with Kalman Filtering (Studies in Computational Intelligence, Band 112)
Aus101.54 EUR 4
Produkt anzeigen
Granular Computing and Intelligent Systems: Design with Information Granules of Higher Order and Higher Type (Intelligent Systems Reference Library, Band 13)
Granular Computing and Intelligent Systems: Design with Information Granules of Higher Order and Higher Type (Intelligent Systems Reference Library, Band 13)
Aus150.41 EUR 4
Produkt anzeigen
Spectral and High Order Methods for Partial Differential Equations: Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway ... Science and Engineering, Band 76)
Spectral and High Order Methods for Partial Differential Equations: Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway ... Science and Engineering, Band 76)
Aus150.56 EUR 4
Produkt anzeigen
High Order Difference Methods for Time Dependent PDE (Springer Series in Computational Mathematics, Band 38)
High Order Difference Methods for Time Dependent PDE (Springer Series in Computational Mathematics, Band 38)
Aus104.30 EUR 4
Produkt anzeigen
Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 447, Band 447)
Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 447, Band 447)
Aus36.70 EUR 4
Produkt anzeigen
Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Mathematics and Visualization, Band 36)
Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Mathematics and Visualization, Band 36)
Aus120.35 EUR 3
Produkt anzeigen
Menü