skip to main content

data.ub.uio.no

Innhaldsspråk

TILRÅDD TERM
Automatisk bevisføring  
TYPE
  • Innholdsbeskrivende emne

OVERORDNA OMGREP
IDENTIFIKATOR
  • HUME13368
PÅ ANDRE SPRÅK
Automated theorem proving
URI
http://data.ub.uio.no/humord/c13368
Last ned dette omgrepet:
RDF/XML TURTLE JSON-LD Sist endra 27.10.1995