Showing 1 - 17 of 17 Results
1.
Principles of Programming Languages by Dowek, Gilles ISBN: 9781848820319 List Price: $39.95
3.
Introduction to the Theory of Programming Languages by Dowek, Gilles, Lèvy, Jean-J... ISBN: 9780857290755 List Price: $39.95
4.
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,... by Bertot, Yves, Dowek, Gilles... ISBN: 9783540664635 List Price: $82.95
5.
Quand la science a dit c'est impossible by Jean-Michel Alimi, Gilles D... ISBN: 9782746500488
6.
Ces prjugs qui nous encombrent (French Edition) by Gilles Dowek ISBN: 9782746504486
7.
Computation, Proof, Machine : Mathematics Enters a New Age by Dowek, Gilles, Guillot, Pie... ISBN: 9780521118019 List Price: $120.00
8.
Computation, Proof, Machine : Mathematics Enters a New Age by Dowek, Gilles, Guillot, Pie... ISBN: 9780521133777 List Price: $39.99
9.
jeux mathematiques et vice versa by Gilles Dowek ISBN: 9782746502437
10.
Abstract Model of the Sats Concept of Operations : Initial Results and Recommendations by Dowek, Gilles, Nasa Technic... ISBN: 9781289262501 List Price: $16.75
11.
Voulez-vous jouer avec les maths ? by Gilles Dowek ISBN: 9782746500525
13.
Proofs and Algorithms by Dowek, Gilles ISBN: 9780857291226 List Price: $24.99
14.
Higher-Order Algebra, Logic, and Term Rewriting by Dowek, Gilles, Heering, Jan... ISBN: 9783662201862 List Price: $24.99
15.
Theorem Proving in Higher Order Logics by Bertot, Yves, Dowek, Gilles... ISBN: 9783662183410 List Price: $24.99
16.
Introduction to the Theory of Programming Languages by Gilles Dowek, Jean-Jacques ... ISBN: 9780857290779