< 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