skip to main content

data.ub.uio.no

Innhaldsspråk

TILRÅDD TERM
Automatic theorem proving  
TYPE
  • Topic

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