Anbefalt term
Automatisk deduksjon
Type
- Innholdsbeskrivende emne
Overordnede begreper
Henvisningsterm
- Automatisk resonnering
Identifikator
- HUME04227
På andre språk
engelsk
- Automatic deduction
- Automated deduction
- Automated reasoning
- Automatic reasoning
norsk bokmål
- Automatisk deduksjon
- Automatisk resonnering
URI
http://data.ub.uio.no/humord/c04227