Jasmin Blanchette – författare

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

2 produkter

Kategorier

2 produkter

Del 13385

Jasmin Blanchette, Laura Kovács, Dirk Pattinson - Automated Reasoning, Häftad

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

589 kr

Skickas inom 10-15 vardagar

Jasmin Blanchette, Assia Mahboubi - Proof Assistants and Their Applications in Mathematics and Computer Science, Inbunden

Proof Assistants and Their Applications in Mathematics and Computer Science

AvJasmin Blanchette,Assia Mahboubi

Inbunden, Engelska, 2027

1 129 kr

Kommande