Book Paperback Book
显示无货商品

Gilles Dowek的作品

Cover for Gilles Dowek · Computation, Proof, Machine: Mathematics Enters A New Age (Book) (2015)

Computation, Proof, Machine: Mat... (2015)

Cover for 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 - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Rewriting and Typed Lambda Calcu... (2014)

Cover for Gilles Dowek · Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science (Paperback Book) (2011)

Proofs and Algorithms: an Introd... (2011)

Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [2011 edition] (2010)

Introduction to the Theory of Pr... (2010)

Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [2009 edition] (2009)

Principles of Programming Langua... (2009)

Cover for Gilles Dowek · Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science (Paperback Book) [1996 edition] (1996)

Higher-Order Algebra, Logic, and... (1996)