Knowledge Tree

researcher / Christopher Beatrix

Christopher Beatrix

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX