< Terug naar vorige pagina
Publicatie
SOGrounder: Modelling and Solving Second-Order Logic.
Boekbijdrage - Boekhoofdstuk Conferentiebijdrage
Boek: Principles of Knowledge Representation and Reasoning: Proceedings of the sixteenth International Conference
Pagina's: 72 - 77
Aantal pagina's: 5
ISBN:978-1-57735-803-9
Jaar van publicatie:2018
BOF-keylabel:ja
IOF-keylabel:ja
Authors from:Higher Education
Toegankelijkheid:Open