Fra bevis til program


Einar Broch Johnsen
Bok Bokmål 1994 · Hovedoppgaver (Form)
Utgitt
Oslo : [E.B. Johnsen] , 1994
Omfang
53 bl.
Opplysninger
Hovedoppgave i informasjonsteknologi - Universitetet i Oslo, 1994
Emner
Rekursjonsteori
Symbolsk logikk
hovedoppgave informasjonsteknologi
Sjanger
Hovedoppgaver (Form) : (NO-TrBIB)HUME01032. - Hovedoppgaver

Bibliotek som har denne