Hoppa till sidans huvudinnehåll

Renate A. Schmidt – författare

Visar alla böcker från författaren Renate A. Schmidt.
4 produkter
Dov Gabbay, Renate A. Schmidt, Andrzej Szalas - Second-order Quantifier Elimination, Häftad

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

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
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

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
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 069 kr

Skickas inom 10-15 vardagar

Renate A. Schmidt, Cláudia Nalon - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad
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

939 kr

Skickas inom 10-15 vardagar