Renate A. Schmidt – författare
Visar alla böcker från författaren Renate A. Schmidt.
4 produkter
4 produkter
Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Häftad, Engelska, 2008
369 kr
Skickas inom 5-8 vardagar
Del 14739 - Lecture Notes in Computer Science
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Häftad, Engelska, 2024
579 kr
Skickas inom 10-15 vardagar
Del 14740 - Lecture Notes in Computer Science
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Häftad, Engelska, 2024
1 059 kr
Skickas inom 10-15 vardagar
Del 10501 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Häftad, Engelska, 2017
939 kr
Skickas inom 10-15 vardagar