Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 685.00 lei 805.88 lei
6-8 săpt.
-15%
Cărți de G. Huet
Fundamentals of Artificial Intelligence
Autor Wolfgang Bibel et al.
aug 1986
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
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%