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