Automatyczne dowodzenie twierdzeń (Q430964)

From wikibase-docker
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