Analysis of Reasoning Methods: Deliverable D3.1 V1 Habtamu Abie Mohamed Hamdi Stefan Poslad Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat (DART/10/2013) År: 2013 Utgave: DART/10/2013 Antall sider: 20 Habtamu Abie Sjefsforsker Du er her: Hjem Publikasjoner Rapport Analysis of Reasoning Methods: Deliverable D3.1 V1