Publications

  • Category

  • Sorting

  • 8508 publications found
  • Publisher

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

Publisher Norsk Regnesentral
Publisher Universitetet i Bergen

Optiske disker 1985. Scientific lecture

Bruk av EDB i arbeidslivet 1985. Scientific lecture

Optical disks 1985. Scientific lecture

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

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

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral