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ț: 334.71 lei 418.38 lei
6-8 săpt.
-20%