Automated Development of Fundamental Mathematical Theories
Autor Art Quaife
30 noi 1992
Hardback
Preț: 1275.57 lei 1555.58 lei
6-8 săpt.
-18%
Automated Reasoning Series
Resolution Proof Systems: An Algebraic Theory
Autor Z. Stachniak
30 apr 1996
Hardback
Preț: 623.39 lei 779.23 lei
6-8 săpt.
-20%