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

AvJasmin 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

AvJasmin Blanchette,Assia Mahboubi

Inbunden, Engelska, 2026

1 069 kr

Skickas inom 11-20 vardagar