Dowód matematyczny wspomagany komputerowo (Q1616262): Difference between revisions
(Created a new Item: Document Dowód matematyczny wspomagany komputerowo added by Lapacz) |
(Changed label, description and/or aliases in en, pl, and other parts: Updating entity Dowód matematyczny wspomagany komputerowo with Lapacz) |
||
| aliases / en / 0 | aliases / en / 0 | ||
Computer-aided mathematical proof | |||
| aliases / en / 1 | aliases / en / 1 | ||
Computer-aided proof (mathematics) | |||
| aliases / en / 2 | aliases / en / 2 | ||
Computer-assisted mathematical proof | |||
| aliases / en / 3 | aliases / en / 3 | ||
Computer-assisted proof (mathematics) | |||
| aliases / en / 4 | aliases / en / 4 | ||
Dowody matematyczne wspomagane komputerowo | |||
| aliases / en / 5 | aliases / en / 5 | ||
Dowody wspomagane komputerowo (matematyka) | |||
| aliases / en / 6 | aliases / en / 6 | ||
Dowodzenie matematyczne wspomagane komputerowo | |||
| aliases / en / 7 | aliases / en / 7 | ||
Dowodzenie wspomagane komputerowo (matematyka) | |||
| aliases / en / 8 | aliases / en / 8 | ||
Dowód wspomagany komputerowo (matematyka) | |||
| aliases / en / 9 | aliases / en / 9 | ||
Komputerowe wspomaganie dowodów matematycznych | |||
| aliases / en / 10 | aliases / en / 10 | ||
Komputerowo wspomagany dowód matematyczny | |||
| aliases / en / 11 | aliases / en / 11 | ||
Mathematical proof, computer-aided | |||
| aliases / en / 12 | aliases / en / 12 | ||
Proof, computer-aided (mathematics) | |||
| aliases / en / 13 | aliases / en / 13 | ||
Proofs, computer-aided (mathematics) | |||
| aliases / en / 14 | aliases / en / 14 | ||
Wspomagane komputerowo dowody matematyczne | |||
| aliases / en / 15 | aliases / en / 15 | ||
Wspomaganie komputerowe dowodów matematycznych | |||
| aliases / en / 16 | aliases / en / 16 | ||
Wspomagany komputerowo dowód matematyczny | |||
| aliases / pl / 0 | aliases / pl / 0 | ||
Computer-aided mathematical proof | |||
| aliases / pl / 1 | aliases / pl / 1 | ||
Computer-aided proof (mathematics) | |||
| aliases / pl / 2 | aliases / pl / 2 | ||
Computer-assisted mathematical proof | |||
| aliases / pl / 3 | aliases / pl / 3 | ||
Computer-assisted proof (mathematics) | |||
| aliases / pl / 4 | aliases / pl / 4 | ||
Dowody matematyczne wspomagane komputerowo | |||
| aliases / pl / 5 | aliases / pl / 5 | ||
Dowody wspomagane komputerowo (matematyka) | |||
| aliases / pl / 6 | aliases / pl / 6 | ||
Dowodzenie matematyczne wspomagane komputerowo | |||
| aliases / pl / 7 | aliases / pl / 7 | ||
Dowodzenie wspomagane komputerowo (matematyka) | |||
| aliases / pl / 8 | aliases / pl / 8 | ||
Dowód wspomagany komputerowo (matematyka) | |||
| aliases / pl / 9 | aliases / pl / 9 | ||
Komputerowe wspomaganie dowodów matematycznych | |||
| aliases / pl / 10 | aliases / pl / 10 | ||
Komputerowo wspomagany dowód matematyczny | |||
| aliases / pl / 11 | aliases / pl / 11 | ||
Mathematical proof, computer-aided | |||
| aliases / pl / 12 | aliases / pl / 12 | ||
Proof, computer-aided (mathematics) | |||
| aliases / pl / 13 | aliases / pl / 13 | ||
Proofs, computer-aided (mathematics) | |||
| aliases / pl / 14 | aliases / pl / 14 | ||
Wspomagane komputerowo dowody matematyczne | |||
| aliases / pl / 15 | aliases / pl / 15 | ||
Wspomaganie komputerowe dowodów matematycznych | |||
| aliases / pl / 16 | aliases / pl / 16 | ||
Wspomagany komputerowo dowód matematyczny | |||
| Property / Version | |||
Iorveth | |||
| Property / Version: Iorveth / rank | |||
Normal rank | |||
Revision as of 18:27, 23 September 2023
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
Iorveth
0 references