Hoppa till sidans huvudinnehåll

Renate A. Schmidt - Böcker

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

Second-order Quantifier Elimination

Foundations, Computational Aspects and Applications

AvDov Gabbay,Renate A. Schmidt,Andrzej Szalas,D. M. Gabbay,R. Schmidt,A. Szalas

Häftad, Engelska, 2008

359 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

AvChristoph Benzmüller,Marijn J.H. Heule,Renate A. Schmidt,Christoph Benzmuller,Marijn J. H. Heule

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

AvChristoph Benzmüller,Marijn J.H. Heule,Renate A. Schmidt,Christoph Benzmuller,Marijn J. H. Heule

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

AvRenate A. Schmidt,Cláudia Nalon,Claudia Nalon

Häftad, Engelska, 2017

929 kr

Skickas inom 10-15 vardagar