Analysis of Reasoning Methods: Deliverable D3.1 V1

Publikasjonsdetaljer

  • Utgiver: Norsk Regnesentral
  • Serie: NR-notat (DART/10/2013)
  • År: 2013
  • Utgave: DART/10/2013
  • Antall sider: 20