Theorem Proving with Analytic Tableaux and Related Methods
Editat de Peter Baumgartner et al.
26 apr 1995
Paperback
Preț: 325.83 lei 407.29 lei
6-8 săpt.
-20%
Automated Reasoning
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 336.07 lei 420.09 lei
6-8 săpt.
-20%
Phraseological Dictionary English - German: General Vocabulary in Technical and Scientific Texts
Autor Roland Kraus et al.
14 oct 2011
Hardback
Preț: 1182.54 lei 1555.98 lei
38-44 zile
-24%