< Terug naar vorige pagina
Publicatie
A deductive system for FO(ID) based on least fixpoint logic
Boekbijdrage - Boekhoofdstuk Conferentiebijdrage
Boek: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Lecture Notes on Computer Science
Pagina's: 129 - 141
ISBN:978-3-642-04237-9
Jaar van publicatie:2009