Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Editat de Marta Cialdea Mayer et al.
3 sep 2003
Paperback
Preț: 331.57 lei 414.47 lei
6-8 săpt.
-20%