Automatyczne dowodzenie twierdzeń (Q430964)
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 |
|
Statements
a0000001867040
0 references
P38585T26641
0 references