CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 21 of 21 Results
1.
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,...
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,... by Bertot, Yves, Dowek, Gilles... ISBN: 9783540664635 List Price: $82.95
$52.33 (Save 36%)
2.
Principles of Programming Languages
Principles of Programming Languages by Dowek, Gilles ISBN: 9781848820319 List Price: $39.95
$35.91 (Save 10%)
3.
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in C...
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in C... by Dowek, Gilles ISBN: 9780857291202 List Price: $39.95
$38.43 (Save 3%)
4.
Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages by Dowek, Gilles, Lèvy, Jean-J... ISBN: 9780857290755 List Price: $39.95
$27.38 (Save 31%) $23.56 (Save 41%)
5.
Computation, Proof, Machine : Mathematics Enters a New Age
Computation, Proof, Machine : Mathematics Enters a New Age by Dowek, Gilles, Guillot, Pie... ISBN: 9780521133777 List Price: $39.99
$106.11
6.
Ces prjugs qui nous encombrent (French Edition)
Ces prjugs qui nous encombrent (French Edition) by Gilles Dowek ISBN: 9782746504486

OUT OF STOCK

See Availability on Amazon
7.
LA LOGIQUE (POCHE - Le Pommier) (French Edition)
LA LOGIQUE (POCHE - Le Pommier) (French Edition) by Gilles Dowek ISBN: 9782746508781

OUT OF STOCK

See Availability on Amazon
8.
Quand la science a dit c'est impossible
Quand la science a dit c'est impossible by Jean-Michel Alimi, Gilles D... ISBN: 9782746500488

OUT OF STOCK

See Availability on Amazon
9.
Abstract Model of the Sats Concept of Operations : Initial Results and Recommendations
Abstract Model of the Sats Concept of Operations : Initial Results and Recommendations by Dowek, Gilles, Nasa Technic... ISBN: 9781289262501 List Price: $16.75

OUT OF STOCK

See Availability on Amazon
10.
Voulez-vous jouer avec les maths ?
Voulez-vous jouer avec les maths ? by Gilles Dowek ISBN: 9782746500525

OUT OF STOCK

See Availability on Amazon
11.
Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting by Dowek, Gilles, Heering, Jan... ISBN: 9783662201862 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Bertot, Yves, Dowek, Gilles... ISBN: 9783662183410 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and Tlca 2014, Hel...
Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and Tlca 2014, Hel... by Dowek, Gilles ISBN: 9783319089195 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages by Gilles Dowek, Jean-Jacques ... ISBN: 9780857290779

OUT OF STOCK

See Availability on Amazon
15.
Computation, Proof, Machine : Mathematics Enters a New Age
Computation, Proof, Machine : Mathematics Enters a New Age by Dowek, Gilles, Guillot, Pie... ISBN: 9780521118019 List Price: $120.00
$93.90 (Save 21%)
16.
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages : Theory and P...
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages : Theory and P... by Dowek, Gilles ISBN: 9781450347778 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
17.
Proofs and Algorithms
Proofs and Algorithms by Dowek, Gilles ISBN: 9780857291226 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
jeux mathematiques et vice versa
jeux mathematiques et vice versa by Gilles Dowek ISBN: 9782746502437

OUT OF STOCK

See Availability on Amazon
19.
Age of Algorithms
Age of Algorithms by Abiteboul, Serge, Dowek, Gi... ISBN: 9781108484572 List Price: $54.99
$52.81 (Save 3%)
20.
Age of Algorithms
Age of Algorithms by Abiteboul, Serge, Dowek, Gi... ISBN: 9781108745420 List Price: $22.99
$13.37 (Save 41%)
21.
1, 2, 3... codez ! : Enseigner l'informatique à l'école et au collège (cycles 1, 2 et 3)
1, 2, 3... codez ! : Enseigner l'informatique à l'école et au collège (cycles 1, 2 et 3) by Claire Calmet, Mathieu Hirt... ISBN: 9782746511064

OUT OF STOCK

See Availability on Amazon