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