Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
Editat de Uwe Egly et al.
17 iul 2002
Paperback
Preț: 347.26 lei 434.07 lei
6-8 săpt.
-20%