The Age of Algorithms
Autor Serge Abiteboul et al.
15 apr 2020
Paperback
Preț: 105.15 lei 131.43 lei
3-5 săpt. | 7-13 zile
-20%
Cărți de Gilles Dowek
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Editat de Gilles Dowek
15 iul 2014
Paperback
Preț: 343.29 lei 429.11 lei
6-8 săpt.
-20%
Proofs and Algorithms: An Introduction to Logic and Computability
Autor Gilles Dowek
14 ian 2011
Paperback
Preț: 236.31 lei 295.39 lei
6-8 săpt.
-20%
Introduction to the Theory of Programming Languages
Autor Gilles Dowek et al.
15 dec 2010
Paperback
Preț: 233.33 lei 291.66 lei
6-8 săpt.
-20%
Principles of Programming Languages
Autor Gilles Dowek
13 mar 2009
Paperback
Preț: 227.81 lei 284.76 lei
6-8 săpt.
-20%
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Editat de Alessandro Armando et al.
25 iul 2008
Paperback
Preț: 348.57 lei 435.71 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 392.75 lei
6-8 săpt.
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ț: 332.71 lei 415.89 lei
6-8 săpt.
-20%