Preferred term
Automatisk bevisføring
Type
- Innholdsbeskrivende emne
Broader concept
Entry terms
- Automatisk provsføring
- Automatisk teorembevis
- Automatisk teorembevisføring
- Automatisk teoremprov
- Automatisk teoremprovføring
Identifier
- HUME13368
In other languages
English
- Automatic theorem proving
- Automated theorem proving
Norwegian Bokmål
- Automatisk bevisføring
- Automatisk teorembevis
- Automatisk teorembevisføring
URI
http://data.ub.uio.no/humord/c13368