Publikasjoner

A decision making tool for land evaluation in the developing countries 1986. Faglig foredrag

Estimering av parametre i en lineært strukturert kovariansmatrise, anvendt i fjernanalyse 1986. Rapport

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

Data-nettverk og meldingssystem 1986. Rapport

Et datasystem for lokale fagforeninger. En vurdering av utstyr, egenskaper, behov og priser 1986. Rapport

Traffic forecasting models based on top down and bottum up procedures 1985. Vitenskapelig foredrag

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

Geostatistiske metoder i reservoarbeskrivelse. Sluttrapport fra forprosjektet 1985. Rapport

Organisering av trekningssystem for Verdipapirsentralen 1985. Rapport

Optiske disker 1985. Vitenskapelig foredrag

Bruk av EDB i arbeidslivet 1985. Vitenskapelig foredrag

Optical disks 1985. Vitenskapelig foredrag

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

Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Fagartikkel

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

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

SIMULA 67. Common Base Language (ISSN 9788253902258 ), , 1984. Rapport

Eksempler på reservoar modellering ved bruk av geostatistiske teknikker 1984. Rapport

Surface modelling merging subjective and objective information 1984. Rapport

Eksempel på sammenstilling av subjektiv viten og observasjoner ved mektighetsestimering 1984. Rapport