Computation, Proof, Machine
Autor Gilles Dowek
11 sep 2017
Hardback
Preț: 626.27 lei 703.67 lei
6-8 săpt. | 10-14 zile
-11%
Cărți de Gilles Dowek
The Age of Algorithms
Autor Serge Abiteboul et al.
16 apr 2020
Hardback
Preț: 343.15 lei 428.94 lei
3-5 săpt.
-20%
Principles of Programming Languages
Autor Gilles Dowek
13 mar 2009
Paperback
Preț: 228.11 lei 285.14 lei
6-8 săpt.
-20%
Automated Reasoning
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 349.51 lei 436.88 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 395.69 lei
6-8 săpt.
Introduction to the Theory of Programming Languages
Autor Gilles Dowek et al.
15 dec 2010
Paperback
Preț: 234.64 lei 293.31 lei
6-8 săpt.
-20%
Proofs and Algorithms
Autor Gilles Dowek
14 ian 2011
Paperback
Preț: 228.18 lei 285.23 lei
6-8 săpt.
-20%
Higher-Order Algebra, Logic, and Term Rewriting
Editat de Gilles Dowek et al.
8 mai 1996
Paperback
Preț: 335.24 lei 419.05 lei
6-8 săpt.
-20%
Rewriting and Typed Lambda Calculi
Editat de Gilles Dowek
15 iul 2014
Paperback
Preț: 333.24 lei 416.55 lei
6-8 săpt.
-20%