Jasmin Blanchette - Böcker

Visar alla böcker från författaren Jasmin Blanchette.

2 produkter

Kategorier

2 produkter

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Av Jasmin Blanchette, Laura Kovács m. fl

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar

Nyhet

Proof Assistants and Their Applications in Mathematics and Computer Science

Av Jasmin Blanchette, Assia Mahboubi

Inbunden, Engelska, 2026

1 069 kr

Kommande