Interactive Theorem Proving and Program Development
Autor Yves Bertot et al.
15 dec 2010
Paperback
Preț: 517.52 lei 608.84 lei
6-8 săpt.
-15%
Cărți de G. Huet
Logic, Algebra, and Computation: International Summer School
F. L. Bauer et al.
16 ian 2012
Paperback
Preț: 633.70 lei 792.12 lei
6-8 săpt.
-20%
Fundamentals of Artificial Intelligence
Autor Wolfgang Bibel et al.
aug 1986
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%