Renate A. Schmidt - Böcker

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

Second-order Quantifier Elimination

Av Dov Gabbay, Renate A. Schmidt, Andrzej Szalas, D. M. Gabbay, R. Schmidt, A. Szalas

Häftad, Engelska, 2008

379 kr

Skickas inom 5-8 vardagar
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule - Automated Reasoning, Häftad

Automated Reasoning

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

Häftad, Engelska, 2024

699 kr

Skickas inom 7-10 vardagar
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, Christoph Benzmuller, Marijn J. H. Heule - Automated Reasoning, Häftad

Automated Reasoning

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

Häftad, Engelska, 2024

1 109 kr

Skickas inom 7-10 vardagar
Renate A. Schmidt, Cláudia Nalon, Claudia Nalon - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Renate A. Schmidt, Cláudia Nalon, Claudia Nalon

Häftad, Engelska, 2017

949 kr

Skickas inom 7-10 vardagar