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ț: 624^.51 lei 780^.63 lei

43-57 zile

-20%

Automated Development of Fundamental Mathematical Theories

Automated Reasoning Series, nr. 2

Autor Art Quaife

30 noi 1992

Preț: 1275^.57 lei 1555^.58 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ț: 321^.49 lei 401^.86 lei

43-57 zile

-20%

Resolution Proof Systems: An Algebraic Theory

Automated Reasoning Series, nr. 4

Autor Z. Stachniak

30 apr 1996

Preț: 623^.39 lei 779^.23 lei

43-57 zile

-20%