Publications
- 8719 publications found
- Publisher
Technical documentation of the SISABOSA-system 1986. Report
Forecasting time series with missing observations 1986. Report
A NxN class of systems of hyperbolic conservation laws , 1986. Report
A Numerical Method for First Order Nonlinear Scalar Hyperbolic Conservation Laws in one Dimension , 1986. Report
Estimering av parametre i en lineært strukturert kovariansmatrise, anvendt i fjernanalyse 1986. Report
Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal
Data-nettverk og meldingssystem 1986. Report
Multiple bilinear time series models 1985. Report
Traffic forecasting models based on top down and bottum up procedures 1985. Scientific lecture
Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Article journal