skip to main content

data.ub.uio.no

Innhaldsspråk

TILRÅDD TERM
Automatisk deduksjon  
TYPE
  • Innholdsbeskrivende emne

OVERORDNA OMGREP
TILVISINGSTERM
  • Automatisk resonnering
IDENTIFIKATOR
  • HUME04227
PÅ ANDRE SPRÅK
Automated deduction
Automated reasoning
Automatic reasoning
URI
http://data.ub.uio.no/humord/c04227
Last ned dette omgrepet:
RDF/XML TURTLE JSON-LD Sist endra 21.03.1994