%0 Book Section
%A Scanlon, Thomas
%T A proof of the André-Oort conjecture via mathematical logic [after Pila, Wilkie and Zannier]
%B Séminaire Bourbaki Volume 2010/2011 Exposés 1027-1042
%A Collectif
%S Astérisque
%Z talk:1037
%D 2012
%P 299-315
%N 348
%I Société mathématique de France
%U https://www.numdam.org/item/AST_2012__348__299_0/
%G en
%F AST_2012__348__299_0