Hopp til hovedinnhold
  • Fagfelt
  • Bransjer
  • Prosjekter
  • Publikasjoner
  • Aktuelt
    • Aktuelt
    • Podcast
    • Arrangementer
  • Om NR
    • Ansatte i NR
    • Aktsomhetsvurderinger
    • Forskningssentre
    • Jobb og karriere
    • NR i dag og historisk
    • NRs masterpris
    • NRs årsrapporter
    • Om NR
    • Organisasjon
      • DART
      • SAMBA
      • SAND
    • Presserom
      • Mediabank
    • Plan for likebehandling
    • Rettighetsstrategi
    • Samfunnsansvar
    • Veibeskrivelse
  • Språk: NO
    • EN

Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon

  • Marit Holden

Publikasjonsdetaljer

  • Journal: Cand. Scient thesis, Sunday 1. December 1985

Marit Holden

Sjefsforsker
  • Du er her:  Hjem
  • Publikasjoner
  • Fagartikkel
  • Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon
  • Ansatte
  • Om NR

Kontakt oss

  • (+47) 2285 2500
  • nr@nr.no

Finn oss på

  • Facebook
  • LinkedIn

Organisasjonsnummer

952125001

Post

Norsk Regnesentral STI
Postboks 114 Blindern
0314 Oslo

Besøksadresse

Gaustadalleen 23a, 4.etasje
Kristen Nygaards hus
0373 Oslo