Beatrix, Christopher, 1989-....
VIAF ID: 507148933838854302790 ( Personal )
Permalink: http://viaf.org/viaf/507148933838854302790
Preferred Forms
Works
Title | Sources |
---|---|
Justifications dans les approches ASP basées sur les règles | |
Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver. |