Automated Reasoning: Essays in Honor of Woody Bledsoe
Editat de Robert Stephen Boyer
17 oct 2012
Paperback
Preț: 624.51 lei 780.63 lei
6-8 săpt.
-20%
Automated Reasoning Series
Automated Development of Fundamental Mathematical Theories
Autor Art Quaife
30 noi 1992
Hardback
Preț: 1262.75 lei 1539.94 lei
6-8 săpt.
-18%
Piton
Autor J Strother Moore
3 oct 2013
Paperback
Preț: 324.05 lei 405.07 lei
6-8 săpt.
-20%
Resolution Proof Systems: An Algebraic Theory
Autor Z. Stachniak
oct 2011
Paperback
Preț: 617.38 lei 771.73 lei
6-8 săpt.
-20%