Hopp til hovedinnholdet.
Dariah Logo EU Logo

Deskryptory BN w SKOS

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Deskryptory BN w SKOS > Automatyczne dowodzenie twierdzeń

Anbefalt term

Automatyczne dowodzenie twierdzeń  

Overordnede begreper

Underordnede begreper

Relaterte begreper

Henvisningsterm

  • Automated theorem proving
  • Automatyczne wnioskowanie
  • Metody automatycznego wnioskowania
  • Rezolucja (matematyka)
  • Zasada rezolucji

På andre språk

  • automated theorem proving

    engelsk

  • démonstration automatique de théorèmes

    fransk

  • Automatisches Beweisen von Theoremen

    tysk

  • Автоматичне доведення

    ukrainsk

URI

https://bn-skos.lab.dariah.pl/Automatyczne_dowodzenie_twierdzen

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD