< Terug naar vorige paginaOnderzoeker Stephen BondDisciplines:Theorie en methodologie van de literatuurwetenschappenAffiliatiesOnderzoeksgroep Kwantitatieve Lexicologie en Variatielinguïstiek (QLVL), Leuven (Onderzoeksgroep)LidVanaf1 sep 2012 → 14 feb 2015KU LeuvenPublicaties1 - 2 van 2The second answer set programming competition(2009)Auteurs: Marc Denecker, Joost Vennekens, Stephen BondPagina's: 637 - 654An automated tableau theorem prover for FO(ID)(2008)Auteurs: Stephen Bond, Marc DeneckerPagina's: 16 - 30