MayDay Sale → Spare bis zu 60 %
Alles von 1 J Grundy auf Taschenbuch
Kategorien
Andere
Kundenservice
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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1487280178)