Hopp til hovedinnholdet.

Humord

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Philosophy > Logics > Symbolic logic > Formal methods
Natural science and mathematics > Mathemathics > Symbolic logic > Formal methods

Anbefalt term

Formal methods  

Type

  • Topic

Overordnede begreper

Henvisningsterm

  • Formal systems

Identifikator

  • HUME62770

På andre språk

  • Formelle metoder

    norsk bokmål

  • Formelle metodar
  • Formelle system
  • Formelle systemer

URI

http://data.ub.uio.no/humord/c62770

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 07.02.2024, sist endret 07.02.2024