Todos los 1 Marta Cialdea Mayer lanzamientos en Pape... Book
Categorías
Otros
Atención al cliente
USD
![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 (Paperback Book) [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-paperback-book&class=scaled&v=1572469945)