Avskjærings- og søkestrategier i system for automatisk bevisføring

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Oslo , 1988
Omfang	144 s.
Opplysninger	Hovedoppgave i informatikk - Universitetet i Oslo, 1988.. - Elektronisk reproduksjon
Emner	(Matematikk) Bevisføring - Databehandling forbindelsesmetoden connection method
Dewey	006.3
ISBN	8253903030

Biblioteksøk