Jasmin Blanchette – författare

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

2 produkter

1. 

   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, 2022

   589 kr

   Lägg i varukorg

2. 

   Proof Assistants and Their Applications in Mathematics and Computer Science

   Av Jasmin Blanchette, Assia Mahboubi

   Inbunden, 2027

   1159 kr

   Kommande