Automatyczne dowodzenie twierdzeń (Q430964)

From wikibase-docker
Revision as of 07:35, 28 November 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Automatyczne dowodzenie twierdzeń" (pl)] with Lapacz)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
No description defined
  • Automatyczne wnioskowanie
  • Metody automatycznego wnioskowania
  • Rezolucja (matematyka)
  • Automated theorem proving
  • Zasada rezolucji
edit
Language Label Description Also known as
English
Automatyczne dowodzenie twierdzeń
No description defined
  • Automatyczne wnioskowanie
  • Metody automatycznego wnioskowania
  • Rezolucja (matematyka)
  • Automated theorem proving
  • Zasada rezolucji

Statements

a0000001867040
0 references
0 references
P38585T26641
0 references