|
#1
Proofs and Algorithms: An Introduction to Logic and ComputabilityGilles DowekКатегория: Математика, Прикладная математика
954 Kb
#2
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)Gilles Dowek, Jean-Jacques LévyКатегория: Компьютеры
907 Kb
#7
Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent TheryКатегория: Cs_Computer science, CsLn_Lecture notes
3.53 Mb
#8
Principles of Programming LanguagesGilles DowekКатегория: Chemistry-Environmental-Material
9.72 Mb
#9
Automated Reasoning, 4 conf., IJCAR 2008Alessandro Armando, Peter Baumgartner, Gilles DowekКатегория: CsLn_
6.04 Mb
|
|