Julien Narboux

发表

Sana Stojanovic, Julien Narboux, Predrag Janicic, 2015, Annals of Mathematics and Artificial Intelligence.
Julien Narboux, Gabriel Braun, Julien Narboux, 2017, Journal of Automated Reasoning.
Julien Narboux, 2004 .
Julien Narboux, David Braun, 2016, Math. Comput. Sci..
Pascal Schreck, Julien Narboux, Pierre Boutry, 2017, Journal of Automated Reasoning.
Pedro Quaresma, Julien Narboux, Predrag Janičić, 2012, J. Autom. Reason..
Pedro Quaresma, Julien Narboux, Predrag Janicic, 2010, Journal of Automated Reasoning.
Pascal Schreck, Jürgen Richter-Gebert, Julien Narboux, 2010 .
Julien Narboux, Gabriel Braun, Pierre Boutry, 2016, SCSS.
Pascal Schreck, Julien Narboux, Pascal Mathis, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Julien Narboux, Gabriel Braun, Pierre Boutry, 2019, J. Symb. Comput..
Gilles Dowek, Jean-Pierre Jouannaud, Ian Mackie, 2005 .
Julien Narboux, Julien Narboux, 2007, Journal of Automated Reasoning.
Julien Narboux, Michael Beeson, Pierre Boutry, 2015, Bull. Symb. Log..
Marc Bezem, Sana Stojanovic, Julien Narboux, 2014, CICM.
Jean-Pierre Jouannaud, Pierre-Yves Strub, César Muñoz, 2006 .
Julien Narboux, Nicolas Magaud, Éric Violard, 2015 .
Christian Urban, Julien Narboux, 2008, Electron. Notes Theor. Comput. Sci..
Julien Narboux, Julien Narboux, 2006, Automated Deduction in Geometry.
Julien Narboux, Gabriel Braun, 2012, Automated Deduction in Geometry.
Pascal Schreck, Julien Narboux, Nicolas Magaud, 2008, Automated Deduction in Geometry.
Pascal Schreck, Julien Narboux, Jean-David Génevaux, 2011, CPP.
Julien Narboux, Tuan-Minh Pham, Yves Bertot, 2011, ICCSA.
Pascal Schreck, Julien Narboux, Nicolas Magaud, 2009, SAC '09.
Julien Narboux, Julien Narboux, 2004, TPHOLs.
Freek Wiedijk, Julien Narboux, Michael Beeson, 2017, Annals of Mathematics and Artificial Intelligence.
Pascal Schreck, Julien Narboux, Nicolas Magaud, 2012, Comput. Geom..
Christian Urban, Julien Narboux, 2007 .
Christian Urban, Julien Narboux, 2008, LSFA.
Vincent Loechner, Julien Narboux, Nicolas Magaud, 2010 .
Pascal Schreck, Julien Narboux, Ileana Streinu, 2016 .
Julien Narboux, Predrag Janicic, 2021, Electronic Proceedings in Theoretical Computer Science.
Julien Narboux, Nicolas Magaud, Bruno Cuervo Parrino, 2012 .
Pascal Schreck, Julien Narboux, Gabriel Braun, 2014 .
Julien Narboux, Gabriel Braun, Pierre Boutry, 2016 .
Jacques Fleuriot, Julien Narboux, Predrag Janičić, 2018 .