Publikasjoner

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

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

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

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

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

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

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

Erling Maartmann-Moe; Hans Koren; Optiske disker 1985. Vitenskapelig foredrag

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Vitenskapelig foredrag

Hans Koren; Optical disks 1985. Vitenskapelig foredrag

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

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

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

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

Ole-Johan Dahl; Bjørn Myhrhaug; Kristen Nygaard; SIMULA 67. Common Base Language (ISSN 9788253902258 ), , 1984. Rapport

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

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

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

Lars Holden; Diskontinuerlig Galerkin metoden; En endelig element metode for første ordens lineære hyperbolske differansialligninger 1983. Mastergradsoppgave

Peter Jensen; Kristen Nygaard; The BETA project (ISSN 9788253900650 ), 1976. Rapport