Dowek, Gilles, 1966-....

Dowek, Gilles.

Gilles Dowek

VIAF ID: 27770984 (Personal)

Permalink: http://viaf.org/viaf/27770984

Preferred Forms

200 _ | ‎‡a Dowek‏ ‎‡b Gilles‏ ‎‡f 1966-....‏
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏ (sparse)
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏
100 1 _ ‎‡a Dowek, Gilles‏ ‎‡d 1966-‏
100 1 _ ‎‡a Dowek, Gilles‏ ‎‡d 1966-‏
100 1 _ ‎‡a Dowek, Gilles‏ ‎‡d 1966-‏
100 1 _ ‎‡a Dowek, Gilles‏ ‎‡d 1966-...‏
100 1 _ ‎‡a Dowek, Gilles,‏ ‎‡d 1966-‏
100 1 _ ‎‡a Dowek, Gilles,‏ ‎‡d 1966-....‏
100 1 _ ‎‡a Dowek, Gilles.‏
200 _ 1 ‎‡a Dowek,‏ ‎‡b Gilles‏
100 0 _ ‎‡a Gilles Dowek‏

4xx's: Alternate Name Forms (11)

400 1 _ ‎‡a Dowek, G.‏
400 1 _ ‎‡a Dowek, G.‏ ‎‡d 1966-‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c Frans informaticus‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c Fransız araştırmacı (d. 1966)‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c französischer Informatiker‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c informaticien, logicien et philosophe français‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c informáticu teóricu francés‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c investigador‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c researcher‏
400 0 _ ‎‡a Gilles Dowek‏ ‎‡c ricercatore‏
400 1 _ ‎‡a 도웩, 질‏ ‎‡d 1966-‏

5xx's: Related Names (7)

510 2 _ ‎‡a Ecole Polytechnique‏
510 2 _ ‎‡a École Polytechnique‏ ‎‡g Palaiseau‏ ‎‡4 affi‏ ‎‡4 https://d-nb.info/standards/elementset/gnd#affiliation‏ ‎‡e Affiliation‏
510 2 _ ‎‡a Institut National de Recherche en Informatique et en Automatique‏
510 2 _ ‎‡a Institut National de Recherche en Informatique et en Automatique‏ ‎‡4 affi‏ ‎‡4 https://d-nb.info/standards/elementset/gnd#affiliation‏ ‎‡e Affiliation‏
510 2 _ ‎‡a SCIENCES ET TECHNIQUES COMMUNES : Paris 7‏
510 2 _ ‎‡a Springer Science+Business Media‏
510 2 _ ‎‡a Vienna Summer of Logic, VSL (2014 : Vienna, Austria)‏

Works

Title	Sources
age of algorithms
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Aux limites du calcul conférence du 23 janvier 1999
Un cadre de définition de logiques calculatoires d'ordre supérieur.
Ce dont on ne peut parler, il faut l'écrire langues et langages
Ces préjugés qui nous encombrent
Computation, proof, machine : mathematics enters a new age
Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
démonstrations et les algorithmes introduction à la logique et à la calculabilité
Les démonstrations mathématiques : cours complet avec 127 exercices résolus
Design and implementation of a proof verifying kernel for the λΠ-calculus modulo.
The dynamical status of axioms : from proofs to models.
Expressing predicate subtyping in computational logical frameworks
Extending higher-order logic with predicate subtyping : application to PVS
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond
Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.
Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore.
Formalisation and Meta-Theory of Type Theory
Formalisation et automatisation de preuves en analyses réelle et numérique
Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète
Formalization and automation of proofs in real and numerical analysis.
La formule du savoir : une philosophie unifiée du savoir fondée sur le théorème de Bayes
A framework for defining computational higher-order logics
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Higher-Order Confluence and Universe Embedding in the Logical Framework
HOA'95
Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets
Informatique : IPT en classes prépas
Integrating rewriting, tableau and superposition into SMT
Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti.
Interoperability between proof systems using the logical framework Dedukti
introduction à la science informatique pour les enseignants de la discipline en lycée
Introduction à la théorie des langages de programmation
Jeux mathématiques et vice versa
L'IA est-elle une chance ?
lógica
logique
machine peut-elle raisonner?
Maths term S : programme 2012
Métamorphoses du calcul
Méthode pour l'épreuve d'informatique Math sup, Math spé cours, exercices et problèmes corrigés
Model checking and theorem proving = Le model checking et la démonstration de théorèmes
Naming and scoping in a mathematical vernacular = Nom et portée des objets dans un vernaculaire mathématique
Non classical formalisms for the computing treatment of the topoligy and the discrete geometry.
Nonlocality of symmetric states and its applications in quantum information.
On the formalization of foundations of geometry
Pedagogical formal and functional systems.
Peut-on croire les sondages ?
The physical Church-Turing thesis and non-deterministic computation over the real numbers.
Preuves d'équivalence de programmes logiques
Principles of programming languages
Proofs and algorithms : an introduction to logic and computability
Quand la science a dit c'est impossible
A Quest for Exactness: Program Transformation for Reliable Real Numbers
Qui a hacké Garoutzia ? tragicomédie policière en quatre actes, qui raconte les vies successives de Garoutzia, un agent conversationnel, une bote du futur
Reflexion, computation and logic.
Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
RTA 2014
Semantical methods in deduction modulo.
Le statut dynamique des axiomes : des preuves aux modèles
Systèmes formels et systèmes fonctionnels pédagogiques
Le temps des algorithmes
Transformations de programmes pour des nombres réels fiables.
Trésor dictionnaire des sciences
Verification and validation of Machine Learning techniques
Vivre, aimer, voter en ligne, et autres chroniques numériques
Voulez-vous jouer avec les maths ?
Yeoron josa reul mideodo doelkka?
여론 조사를 믿어도 될까?

Selected Co-authors

Abiteboul, Serge 1953-.... ‎(12)
Lévy, Jean-Jacques 19...-.... mathématicien ‎(7)
Jaume, Mathieu. ‎(6)
Farouki, Nayla ‎(6)
Rolland, Laurence ‎(5)
Miller, Dale. ‎(5)
Conchon, Sylvain (1972-....). ‎(5)
Dowek, Gilles ‎(4)
Bibliothèque nationale de France ‎(4)
Alimi, Jean-Michel 1961-.... ‎(4)

Countries and Regions of Publication (7)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

FR - France (140)
GB - United Kingdom (17)
DE - Germany (10)
US - United States (6)
CH - Switzerland (3)
MX - Mexico (1)
KI - Kiribati (1)

Publication Statistics

Selected Publishers (11)

Le Pommier ‎(34)
Springer ‎(29)
Ecole polytechnique, Département d'informatique ‎(27)
Cambridge University Press ‎(13)
TEL ‎(5)
Eyrolles ‎(4)
Springer-Verlag Berlin Heidelberg : Springer e-books ‎(3)
[Flammarion] ‎(3)
Bibliothèque nationale de France ‎(2)
황금가지 ‎(1)
Siglo Veintiuno ‎(1)

About

Personal Information

Gender : Male

Nationality or associated country:

FR - France
프랑스(국명)[France] -
fr -
Francie -

Field of Activity:

컴퓨터computer
수학 학문 数学
과학 학문 科学
programovaci jazyky
logika
informatika
filozofie

Occupation:

authors
연구원 연구자 硏究员
교수 대학 敎授
vysokoskolsti ucitele
programatori
informatici
filozofove

Language:

fre - French
eng - English

Record ID	Action	Time
LC\|n 96036712	add	2009-03-03T12:03:36+00:00
BNF\|12099604	add	2011-08-17T04:30:21+00:00
BIBSYS\|x90910970	delete	2012-11-27T04:00:16+00:00
SUDOC\|02935093X	add	2012-12-19T19:11:18+00:00
NTA\|148050344	add	2012-12-19T19:11:18+00:00
ISNI\|0000000121255123	add	2013-09-16T16:15:07+00:00
NUKAT\|n 98002405	add	2014-10-27T16:17:29+00:00
DNB\|11433191X	add	2015-09-20T14:54:45+00:00
WKP\|Q3106201	add	2017-01-29T14:58:59.624651+00:00
BIBSYS\|90910970	add	2017-03-19T15:52:05.555479+00:00
SWNL\|vtls012528667	delete	2019-03-10T14:21:44.089737+00:00
J9U\|987007462125805171	add	2020-02-02T17:35:26.953617+00:00
NLI\|002157260	delete	2020-04-12T13:21:19.495129+00:00
NII\|DA09869691	add	2020-05-10T14:53:30.171882+00:00
RERO\|vtls003189361	delete	2020-06-16T21:54:13.360788+00:00
RERO\|A003189361	add	2020-06-17T22:10:52.452112+00:00
NKC\|mub20201077037	add	2020-07-05T16:34:03.424603+00:00
CAOONL\|ncf12136635	add	2020-07-14T14:48:05.359666+00:00
PTBNP\|1179830	add	2020-11-29T07:20:53.300177+00:00
GRATEVE\|328672	delete	2021-01-31T04:22:51.980242+00:00
KRNLK\|KAC200608447	add	2024-08-04T02:50:20.719621+00:00
SZ\|11433191X	add	2024-08-11T01:46:10.198669+00:00

VIAF

Virtual International Authority File

Search

Dowek, Gilles, 1966-....

Dowek, Gilles.

Gilles Dowek

VIAF ID: 27770984 (Personal)

Permalink: http://viaf.org/viaf/27770984

Preferred Forms

4xx's: Alternate Name Forms (11)

5xx's: Related Names (7)

Works

Selected Co-authors

Countries and Regions of Publication (7)

Publication Statistics

Publication History

Identifiers

Selected Publishers (11)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:27770984 (22)