Automated Reasoning Series

Automated Reasoning: Essays in Honor of Woody Bledsoe

Automated Reasoning Series, nr. 1

Editat de Robert Stephen Boyer

17 oct 2012

Preț: 630^.99 lei 788^.74 lei

43-57 zile

-20%

Automated Development of Fundamental Mathematical Theories

Automated Reasoning Series, nr. 2

Autor Art Quaife

30 noi 1992

Preț: 1188^.59 lei 1449^.49 lei

43-57 zile

-18%

Piton: A Mechanically Verified Assembly-Level Language

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

Preț: 324^.68 lei 405^.86 lei

43-57 zile

-20%

Resolution Proof Systems: An Algebraic Theory

Automated Reasoning Series, nr. 4

Autor Z. Stachniak

30 apr 1996

Preț: 629^.86 lei 787^.33 lei

43-57 zile

-20%