Yazar
Gilles Dowek
20 cilt bulundu.
Gilles Dowek · Springer
159 sayfa · 2009
Programming languages (Electronic computers) / Programming languages (electronic computers)
Gilles Dowek · Cambridge University Press
152 sayfa · 2015
Mathematics / Ancient Mathematics / History / Mathematics, ancient / Mathematics, history
Gilles Dowek · Springer-Verlag London Limited
Sayfa sayısı yok · 2011
Information theory / Computer science / Symbolic and mathematical Logic / Algorithms / Logic, symbolic and mathematical
Gilles Dowek · Le Pommier
223 sayfa · 2007
Informatique / Calcul / Mathe matiques - fondements / Ouvrages de vulgarisation / Histoire
Gilles Dowek, Serge Abiteboul, K-Rae Nelson · POMMIER
200 sayfa · 2017
Algorithms / Social aspects / Information society / Computers and civilization
Yves Bertot, Gilles Dowek, Andre Hirschowitz · Springer
359 sayfa · 1999
Congresses / Automatic theorem proving / Congres / Theoremes / Linguagens formais e automatos
Jean-Michel Alimi, Gilles Dowek, Laurence Rolland, Nayla Farouki · Le Pommier
159 sayfa · 1999
Science / Philosophy / Limit theorems (Probability theory) / Gödel's theorem
Jean-Paul Delahaye, Jean-Louis Dessalles, Sebastien Dieguez, Gilles Dowek, Marc Lachièze-Rey, Roland Lehoucq · Belin
Sayfa sayısı yok · 2021
Kategori yok
Gilles Dowek · Springer International Publishing AG
491 sayfa · 2014
Logic, symbolic and mathematical / Computer science / Logic design / Algebra / Data processing
Gilles Dowek · ICASE, National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 2001
Air traffic / Algorithms / Three dimensional models
Serge Abiteboul, Gilles Dowek, K-Rae Nelson · Cambridge University Press
Sayfa sayısı yok · 2019
Kategori yok
Alessandro Armando, Peter Baumgartner, Gilles Dowek · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok