logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Gilles Dowek's Books back

language per page order
Proofs and Algorithms: An Introduction to Logic and Computability - Gilles Dowek
Proofs and Algorithms: An Introduction to Logic and Computability
by Gilles Dowek (author)
publisher: Springer publish date: January 14th 2011
format: paperback pages: 203
language: English
ISBN: 0857291203 (9780857291202)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science) - Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
by Laurent Thery (author), Christine Paulin (author), Andre Hirschowitz (author), Gilles Dowek (author), Yves Bertot (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 364
language: English
ASIN: B000QCQSHQ
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) - Gilles Dowek
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek (author)
publisher: Springer London publish date: December 15th 2010
format: kindle pages: 129
language: English
ASIN: B0087YNLFW
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science) - Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Mxf6ller
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science)
by Jan Heering (author), Bernhard Mxf6ller (author), Gilles Dowek (author), Karl Meinke (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 287
language: English
ASIN: B000V1JU9U
Principles Of Programming Languages (Undergraduate Topics In Computer Science) - Gilles Dowek
Principles Of Programming Languages (Undergraduate Topics In Computer Science)
by Gilles Dowek (author)
publisher: Springer publish date: March 13th 2009
format: paperback pages: 159
language: English
ISBN: 1848820313 (9781848820319)
Proofs and Algorithms - Gilles Dowek
Proofs and Algorithms
by Gilles Dowek (author)
publisher: Springer publish date: March 30th 2011
format: paperback pages: 168
ISBN: 085729122X (9780857291226)
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers - Gilles Dowek, Jan Heering, Bernhard Möller, Karl Meinke
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers
by Bernhard Möller (author), Gilles Dowek (author), Karl Meinke (author), Jan Heering (author)
publisher: Springer publish date: May 8th 1996
format: paperback pages: 296
language: English
ISBN: 3540612548 (9783540612544)
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.