Julien Narboux
发表
Freek Wiedijk,
Julien Narboux,
Michael Beeson,
2017,
Annals of Mathematics and Artificial Intelligence.
Julien Narboux,
Predrag Janičić,
2022,
Journal of Automated Reasoning.
Christian Urban,
Julien Narboux,
2009
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
César Muñoz,
2006
.
P. Schreck,
Julien Narboux,
P. Boutry,
2017,
Journal of Automated Reasoning.
P. Quaresma,
Julien Narboux,
Predrag Janičić,
2012,
Journal of Automated Reasoning.
Pascal Schreck,
Julien Narboux,
Jean-David Génevaux,
2011,
CPP.
Julien Narboux,
Gabriel Braun,
Pierre Boutry,
2019,
J. Symb. Comput..
Julien Narboux,
Gabriel Braun,
Julien Narboux,
2017,
Journal of Automated Reasoning.
Julien Narboux,
Gabriel Braun,
Pierre Boutry,
2016,
SCSS.
Sana Stojanovic,
Julien Narboux,
Predrag Janicic,
2015,
Annals of Mathematics and Artificial Intelligence.
Julien Narboux,
Julien Narboux,
2006,
Automated Deduction in Geometry.
Julien Narboux,
Julien Narboux,
2007,
Journal of Automated Reasoning.
Julien Narboux,
Julien Narboux,
2004,
TPHOLs.
Pedro Quaresma,
Julien Narboux,
Predrag Janičić,
2012,
J. Autom. Reason..
Pascal Schreck,
Julien Narboux,
Nicolas Magaud,
2012,
Comput. Geom..
Pascal Schreck,
Julien Narboux,
Nicolas Magaud,
2008,
Automated Deduction in Geometry.
Julien Narboux,
Nicolas Magaud,
Bruno Cuervo Parrino,
2012
.