Automatyczne dowodzenie twierdzeń (Q430964)

From wikibase-docker
Revision as of 06:31, 20 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Automatyczne dowodzenie twierdzeń with Lapacz)
Jump to navigation Jump to search
No description defined
  • Automatyczne wnioskowanie
  • Metody automatycznego wnioskowania
  • Rezolucja (matematyka)
  • Automated theorem proving
  • Zasada rezolucji
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

Version
Vilgefortz
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q430964&oldid=2471977"