Publications

Marit Holden; Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal

Håvard Hegna; Data-nettverk og meldingssystem 1986. Report

Håvard Hegna; Et datasystem for lokale fagforeninger. En vurdering av utstyr, egenskaper, behov og priser 1986. Report

Boonchai K. Stensholt; Dag Bjarne Tjøstheim; Multiple bilinear time series models 1985. Report

Kjell Stordal; Lars Holden; Traffic forecasting models based on top down and bottum up procedures 1985. Scientific lecture

Marit Holden; Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Article journal

Thomas Bjerch; Lars Holden; Bjørn H. Sollie; Geostatistiske metoder i reservoarbeskrivelse. Sluttrapport fra forprosjektet 1985. Report

Håvard Hegna; Organisering av trekningssystem for Verdipapirsentralen 1985. Report

Erling Maartmann-Moe; Hans Koren; Optiske disker 1985. Scientific lecture

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Scientific lecture

Hans Koren; Optical disks 1985. Scientific lecture

Kari Thoresen; Forskjellige perspektiver på datasystemer Nytt om Kvinneforskning, (ISSN 0333-0265 ), 1985. Scientific article

Nils Lid Hjort; Erik Mohn; Geir Storvik; Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Article journal

Rune Solberg; Geometrisk korreksjon av digitale bilder i optisk satellittfjernmåling 1985. Report

Lars Holden; Første ordens ikkelineære skalare hyperbolske konserveringslover i én dimensjon 1985. Report

Bjørn Myhrhaug; Kristen Nygaard; SIMULA 67. Common Base Language (ISSN 9788253902258 ), , 1984. Report

Lars Holden; Henning Omre; Eksempler på reservoar modellering ved bruk av geostatistiske teknikker 1984. Report

Henning Omre; Lars Holden; Surface modelling merging subjective and objective information 1984. Report

Henning Omre; Lars Holden; Eksempel på sammenstilling av subjektiv viten og observasjoner ved mektighetsestimering 1984. Report

Trond Riise; Dag Bjarne Tjøstheim; Theory and practice of multivariate arma forecasting 1983. Report