Dowód matematyczny wspomagany komputerowo (Q1616262)
No description defined
- Computer-aided mathematical proof
- Computer-aided proof (mathematics)
- Computer-assisted mathematical proof
- Computer-assisted proof (mathematics)
- Dowody matematyczne wspomagane komputerowo
- Dowody wspomagane komputerowo (matematyka)
- Dowodzenie matematyczne wspomagane komputerowo
- Dowodzenie wspomagane komputerowo (matematyka)
- Dowód wspomagany komputerowo (matematyka)
- Komputerowe wspomaganie dowodów matematycznych
- Komputerowo wspomagany dowód matematyczny
- Mathematical proof, computer-aided
- Proof, computer-aided (mathematics)
- Proofs, computer-aided (mathematics)
- Wspomagane komputerowo dowody matematyczne
- Wspomaganie komputerowe dowodów matematycznych
- Wspomagany komputerowo dowód matematyczny
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dowód matematyczny wspomagany komputerowo |
No description defined |
|
Statements
a1000001172643
0 references
P80885T81400
0 references