The Efficiency of Theorem Proving Strategies
Autor David A. Plaisted et al.
28 oct 1999
Paperback
Preț: 327.29 lei 409.11 lei
6-8 săpt.
-20%
Computational Intelligence
Scalable Search in Computer Chess
Autor Ernst A. Heinz
14 dec 1999
Paperback
Preț: 647.34 lei 761.57 lei
6-8 săpt.
-15%