7 treff

Fjellheim Roar
Algoritme for bevis av teoremer i første ordens predikatkalkyle
Fjellheim, Roar
Bok Bokmål 1972
Noen SNOBOL-rutiner for formelmanipulasjoner
Fjellheim, Roar
Bok Bokmål 1971
Notat om bruk av PROC'er til definisjon av assemblere
Fjellheim, Roar
Bok Bokmål 1971
Notat om EULER
Fjellheim, Roar
Bok Bokmål 1971
Romerikstun VI

Bok Bokmål 1966
Report from KMWorld 2000 : Santa Clara, California, Sept. 13-15, 2000
[Roar Arne Fjellheim]
Bok Engelsk 2000
Report from a Seminar on system description at "Skogen", Røros
Seminar on system description
Bok Engelsk 1974 · Les boka på nett