(Q1150675)
Statements
1970s
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(10 entries)
- dewiki Maschinengestütztes Beweisen
- enwiki Computer-assisted proof
- eswiki Prueba asistida por ordenador
- frwiki Preuve assistée par ordinateur
- jawiki 計算機援用証明
- kowiki 컴퓨터를 이용한 증명
- mkwiki Сметачки потпомогнат доказ
- ruwiki Доказательные вычисления
- ukwiki Доказові обчислення
- zhwiki 電腦協助證明