Skip to main
Dariah Logo EU Logo

Deskryptory BN w SKOS

جست‌وجو در واژگان

زبان محتوا

Concept information

برای این اصطلاح، مفهومی در این زبان نیست.

Deskryptory BN w SKOS (pl) > Automatyczne dowodzenie twierdzeń (pl)

اصطلاح مرجح

Automatyczne dowodzenie twierdzeń (pl)  

مفهوم اعم

مفهوم‌های اخص

مفهوم‌های وابسته

اصطلاح‌های مدخل

  • automated theorem proving

در زبان های دیگر

  • démonstration automatique de théorèmes

    French

  • Automatisches Beweisen von Theoremen

    German

  • Automatyczne dowodzenie twierdzeń

    Polish

  • Automated theorem proving
  • Automatyczne wnioskowanie
  • Metody automatycznego wnioskowania
  • Rezolucja (matematyka)
  • Zasada rezolucji
  • Автоматичне доведення

    Ukrainian

URI

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

این مفهوم را بارگیری کن:

RDF/XML TURTLE JSON-LD