Automated Reasoning: Essays in Honor of Woody Bledsoe
Editat de Robert Stephen Boyer
17 oct 2012
Paperback
Preț: 649.60 lei 812.01 lei
6-8 săpt.
-20%
Automated Reasoning Series
Automated Development of Fundamental Mathematical Theories
Autor Art Quaife
30 noi 1992
Hardback
Preț: 1223.74 lei 1492.37 lei
6-8 săpt.
-18%
Piton: A Mechanically Verified Assembly-Level Language
Autor J Strother Moore
3 oct 2013
Paperback
Preț: 334.20 lei 417.75 lei
6-8 săpt.
-20%
Resolution Proof Systems: An Algebraic Theory
Autor Z. Stachniak
30 apr 1996
Hardback
Preț: 648.44 lei 810.55 lei
6-8 săpt.
-20%