Todos1 J Grundy lançamentos em Bog med blødt omslag ...t ryg
Categorias
Outro
Atendimento ao cliente
EUR
![Cover for J Grundy · Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/878/9783540649878.jpg?j-grundy-1998-theorem-proving-in-higher-order-logics-11th-international-conference-tphols-98-canberra-australia-september-27-october-1-1998-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1487280178)