Renate A. Schmidt – författare

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

4 produkter

1. 

   Second-order Quantifier Elimination

   Foundations, Computational Aspects and Applications

   Av Dov Gabbay, Renate A. Schmidt m. fl.

   Häftad, 2008

   389 kr

   Lägg i varukorg

2. 

   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, 2024

   599 kr

   Lägg i varukorg

3. 

   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, 2024

   1089 kr

   Lägg i varukorg

4. 

   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

   Häftad, 2017

   959 kr

   Lägg i varukorg