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%
Cărți de Peter Baumgartner
Automated Reasoning
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 336.07 lei 420.09 lei
6-8 săpt.
-20%