Eliminacja kwantyfikatorów (Q392490)
Jump to navigation
Jump to search
No description defined
- Quantifier elimination
Language | Label | Description | Also known as |
---|---|---|---|
English | Eliminacja kwantyfikatorów |
No description defined |
|
Statements
a0000003815163
0 references
P39488T58834
0 references