Marijn J.H. Heule - Böcker

Visar alla böcker från författaren Marijn J.H. Heule.

2 produkter

Kategorier

2 produkter

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

669 kr

Skickas inom 10-15 vardagar

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

1 209 kr

Skickas inom 10-15 vardagar