Todos los 1 Stefan Berghofer lanzamientos en Paperback Book
Categorías
Otros
Atención al cliente
EUR
![Cover for Stefan Berghofer · Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/582/9783642033582.jpg?stefan-berghofer-2009-theorem-proving-in-higher-order-logics-22nd-international-conference-tphols-2009-munich-germany-august-17-20-2009-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1610645804)