Skip to contents Beatrix, Christopher [Author] ; Angers [Contributor]; Stephan, Igor [Contributor] Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX ; Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver Thesis View online Schließen > Links http://www.theses.fr/2016ANGE0026/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-11-03
Beatrix, Christopher [Author] ; Angers [Contributor]; Stephan, Igor [Contributor] Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX ; Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver Thesis View online Schließen > Links http://www.theses.fr/2016ANGE0026/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-11-03
> Creator Skip to next facet Angers (1) Wert ausschließen Beatrix, Christopher (1) Wert ausschließen Stephan, Igor (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less