Preferred term
Automatisk deduksjon
Type
- Innholdsbeskrivende emne
Broader concept
Entry terms
- Automatisk resonnering
Identifier
- HUME04227
In other languages
English
- Automatic deduction
- Automated deduction
- Automated reasoning
- Automatic reasoning
Norwegian Nynorsk
- Automatisk deduksjon
- Automatisk resonnering
URI
http://data.ub.uio.no/humord/c04227