Automated Development of Fundamental Mathematical Theories
Autor Art Quaife
30 noi 1992
Hardback
Preț: 1367.63 lei 1667.84 lei
6-8 săpt.
-18%
Automated Reasoning Series
Resolution Proof Systems
Autor Z. Stachniak
30 apr 1996
Hardback
Preț: 667.75 lei 834.69 lei
6-8 săpt.
-20%
Piton
Autor J Strother Moore
3 oct 2013
Paperback
Preț: 324.05 lei 405.07 lei
6-8 săpt.
-20%
Automated Reasoning
Editat de Robert Stephen Boyer
17 oct 2012
Paperback
Preț: 653.77 lei 817.20 lei
6-8 săpt.
-20%