Catalogo · 9782746503243
Les me tamorphoses du calcul
ISBN 9782746503243
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
Le temps des algorithmes
Gilles Dowek, Serge Abiteboul, K-Rae Nelson
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
Verba volant · scripta manent