Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 335.29 lei 419.11 lei
43-57 zile
-20%
Cărți de Peter Baumgartner
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Editat de Peter Baumgartner et al.
26 apr 1995
Paperback
Preț: 323.55 lei 404.44 lei
43-57 zile
-20%
Phraseological Dictionary English - German: General Vocabulary in Technical and Scientific Texts
Autor Roland Kraus et al.
7 oct 2014
Paperback
Preț: 1194.92 lei 1457.21 lei
43-57 zile
-18%