Tilrådd term
Automatisk deduksjon
Type
- Innholdsbeskrivende emne
Overordna omgrep
Tilvisingsterm
- Automatisk resonnering
Identifikator
- HUME04227
På andre språk
engelsk
- Automatic deduction
- Automated deduction
- Automated reasoning
- Automatic reasoning
norsk nynorsk
- Automatisk deduksjon
- Automatisk resonnering
URI
http://data.ub.uio.no/humord/c04227