TY  - CHAP
AU  - Scanlon, Thomas
TI  - A proof of the André-Oort conjecture via mathematical logic [after Pila, Wilkie and Zannier]
BT  - Séminaire Bourbaki Volume 2010/2011 Exposés 1027-1042. Avec table par noms d'auteurs de 1948/49 à 2009/10.
AU  - Collectif
T3  - Astérisque
N1  - talk:1037
PY  - 2012
SP  - 299
EP  - 315
IS  - 348
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_2012__348__299_0/
LA  - en
ID  - AST_2012__348__299_0
ER  -