Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 685.59 lei 806.58 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ț: 634.22 lei 792.78 lei
6-8 săpt.
-20%
Fundamentals of Artificial Intelligence: An Advanced Course
Autor Wolfgang Bibel et al.
aug 1986
Paperback
Preț: 321.32 lei 401.66 lei
6-8 săpt.
-20%