Catalogo · 9781108484572
Le temps des algorithmes
ISBN 9781108484572
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Computation, proof, machine
Gilles Dowek
Theorem proving in higher order logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
Rewriting and Typed Lambda Calculi
Gilles Dowek
Proofs and Algorithms
Gilles Dowek
Principles of programming languages
Gilles Dowek
La Logica
Gilles Dowek
Age of Algorithms
Serge Abiteboul, Gilles Dowek, K-Rae Nelson
Voulez-vous jouer avec les maths ?
Gilles Dowek
Quand la science a dit c'est impossible
Jean-Michel Alimi, Gilles Dowek, Laurence Rolland, Nayla Farouki
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Gilles Dowek
Pourquoi moi ?
Jean-Paul Delahaye, Jean-Louis Dessalles, Sebastien Dieguez, Gilles Dowek, Marc Lachièze-Rey, Roland Lehoucq
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent