Renate A. Schmidt – författare

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
AvDov Gabbay,Renate A. Schmidtm. fl.
Häftad, Engelska, 2008
379 kr
Skickas inom 5-8 vardagar
Del 14739
Del 14739 - Lecture Notes in Computer Science
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
AvChristoph Benzmüller,Marijn J.H. Heulem. fl.
Häftad, Engelska, 2024
589 kr
Skickas inom 10-15 vardagar
Del 14740
Del 14740 - Lecture Notes in Computer Science
Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
AvChristoph Benzmüller,Marijn J.H. Heulem. fl.
Häftad, Engelska, 2024
1 079 kr
Skickas inom 10-15 vardagar
Del 10501
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
AvRenate A. Schmidt,Cláudia Nalon
Häftad, Engelska, 2017
949 kr
Skickas inom 10-15 vardagar