Letnia Wyprzedaż - Do -60%
Wszystkie 1 wydania Gerwin Klein na Paperback Book
Kategorie
Inne
Obsługa klienta
PLN
![Cover for Gerwin Klein · Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/690/9783319089690.jpg?gerwin-klein-2014-interactive-theorem-proving-5th-international-conference-itp-2014-held-as-part-of-the-vienna-summer-of-logic-vsl-2014-vienna-austria-july-14-17-2014-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1587353128)