Sommarrea - Upp till 60 % rabatt
Alla 1s utgivelser på Marta Cialdea Mayer
Kategorier
Annan
Kundservice
SEK
![Cover for Marta Cialdea Mayer · Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/874/9783540407874.jpg?marta-cialdea-mayer-2003-automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-2003-rome-italy-september-9-12-2003-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1572469945)