Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and monographs in symbolic computation)

And Cylindrical Algebraic Decomposition
Wo zu kaufen (2) Eigenschaften
Gesponsert
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and monographs in symbolic computation)
Medimops DE
48.98 EUR
Preis aktualisiert am: 23-05-2026 13:41:56
Siehe Produktangebot
Gesponsert
Quantifier Elimination and Cylindrical Algebraic Decomposition
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-05-2026 17:48:42
Siehe Produktangebot

Allgemein

Marke
Bob F. Caviness
ISBN
Bob F. Caviness 3211827943

Eigenschaften

Ähnliche Produkte

Generalized Quantifiers: Linguistic and Logical Approaches (Studies in Linguistics and Philosophy, 31, Band 31)
Generalized Quantifiers: Linguistic and Logical Approaches (Studies in Linguistics and Philosophy, 31, Band 31)
Produkt anzeigen
Handbook of Quantifiers in Natural Language: Volume II (Studies in Linguistics and Philosophy)
Handbook of Quantifiers in Natural Language: Volume II (Studies in Linguistics and Philosophy)
Produkt anzeigen
Quantifiers And Negative Polarity Item In Kokborok: A Linguistic Study
Quantifiers And Negative Polarity Item In Kokborok: A Linguistic Study
Produkt anzeigen
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
Produkt anzeigen
Java 9 Regular Expressions: A hands-on guide to implement zero-length assertions, back-references, quantifiers, and many more (English Edition)
Java 9 Regular Expressions: A hands-on guide to implement zero-length assertions, back-references, quantifiers, and many more (English Edition)
Produkt anzeigen
Quantifier Elimination over Real Closed Fields: Mathematical Basis, Solution Techniques, Practical Integrations
Quantifier Elimination over Real Closed Fields: Mathematical Basis, Solution Techniques, Practical Integrations
Produkt anzeigen
Menü