Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Editat de Neil V. Murray
26 mai 1999
Paperback
Preț: 329.11 lei 411.39 lei
43-57 zile
-20%