Renate A. Schmidt - Böcker

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

Häftad, Engelska, 2008

359 kr

Skickas inom 5-8 vardagar

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Häftad, Engelska, 2024

1 209 kr

Skickas inom 10-15 vardagar

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Häftad, Engelska, 2017

929 kr

Skickas inom 10-15 vardagar