Renate A. Schmidt - Böcker

Visar alla böcker från författaren Renate A. Schmidt.

4 produkter

Kategorier

4 produkter

Second-order Quantifier Elimination

Foundations, Computational Aspects and Applications

Av Dov Gabbay, Renate A. Schmidt m. fl

Häftad, Engelska, 2008

689 kr

Skickas inom 7-10 vardagar

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Av Christoph Benzmüller, Marijn J.H. Heule m. fl

Häftad, Engelska, 2024

699 kr

Skickas inom 10-15 vardagar

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Av Christoph Benzmüller, Marijn J.H. Heule m. fl

Häftad, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Av Renate A. Schmidt, Cláudia Nalon m. fl

Häftad, Engelska, 2017

949 kr

Skickas inom 10-15 vardagar