Visi 1 Jasmin Blanchette izlaidumi pie Bog med blødt...t ryg
Kategorijas
Cits
Klientu apkalpošana
EUR
![Cover for Jasmin Blanchette · Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/689/9783031107689.jpg?jasmin-blanchette-2022-automated-reasoning-11th-international-joint-conference-ijcar-2022-haifa-israel-august-8-10-2022-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1749638677)