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)

And Term
Wo zu kaufen (3) Eigenschaften
Gesponsert
Higher-Order Algebra Logic and Term Rewriting
Hugendubel
53.49 EUR
Preis aktualisiert am: 04-11-2026 06:19:49
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 03-11-2026 11:05:52
Siehe Produktangebot
Gesponsert
Higher-Order Algebra, Logic, and Term Rewriting
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:18:41
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540582339

Eigenschaften

Ähnliche Produkte

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
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
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
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
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
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)
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)
Aus53.49 EUR 3
Produkt anzeigen
Menü