Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7388 publikasjoner funnet
  • Utgiver
Utgiver Matematisk institutt, Universitetet i Oslo
Utgiver Matematisk institutt, Universitetet i Oslo

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

Utgiver Norsk Regnesentral

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