The Age of Algorithms
Autor Serge Abiteboul et al.
15 apr 2020
Hardback
Preț: 328.95 lei 411.19 lei
22-36 zile
-20%
Cărți de Gilles Dowek
Principles of Programming Languages
Autor Gilles Dowek
13 mar 2009
Paperback
Preț: 218.56 lei 273.20 lei
43-57 zile
-20%
Automated Reasoning
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 336.07 lei 420.09 lei
43-57 zile
-20%
Theorem Proving in Higher Order Logics
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 380.51 lei
43-57 zile
Introduction to the Theory of Programming Languages
Autor Gilles Dowek et al.
15 dec 2010
Paperback
Preț: 222.56 lei 278.20 lei
43-57 zile
-20%
Proofs and Algorithms
Autor Gilles Dowek
14 ian 2011
Paperback
Preț: 225.01 lei 281.26 lei
43-57 zile
-20%
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Editat de Gilles Dowek et al.
8 mai 1996
Paperback
Preț: 320.06 lei 400.07 lei
43-57 zile
-20%
Rewriting and Typed Lambda Calculi
Editat de Gilles Dowek
15 iul 2014
Paperback
Preț: 333.24 lei 416.55 lei
43-57 zile
-20%