Hoppa till sidans huvudinnehåll

Jasmin Blanchette – författare

Visar alla böcker från författaren Jasmin Blanchette.
2 produkter
Del 13385 - Lecture Notes in Computer Science

Automated Reasoning

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

AvJasmin Blanchette,Laura Kovácsm. fl.

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar

Proof Assistants and Their Applications in Mathematics and Computer Science

AvJasmin Blanchette,Assia Mahboubi

Inbunden, Engelska, 2026

1 089 kr

Skickas inom 11-20 vardagar