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