| Title:
|
Jak spolehlivý je počítačový důkaz? (Czech) |
| Title:
|
How reliable is a computer-based proof? (English) |
| Author:
|
Lam, C. W. H. |
| Language:
|
Czech |
| Journal:
|
Pokroky matematiky, fyziky a astronomie |
| ISSN:
|
0032-2423 |
| Volume:
|
36 |
| Issue:
|
4 |
| Year:
|
1991 |
| Pages:
|
209-216 |
| . |
| Category:
|
math |
| . |
| MSC:
|
00A30 |
| MSC:
|
00A35 |
| idZBL:
|
Zbl 0742.00005 |
| idMR:
|
MR1132656 |
| Note:
|
Vyšlo v The Mathematical Intelligencer 12 (1990), č. 1, 8-12. Přeložila H. Nešetřilová. (Czech) |
| Note:
|
Appeared in The Mathematical Intelligencer 12 (1990), No. 1, 8-12. Translated by H. Nešetřilová. (English) |
| . |
| Date available:
|
2010-12-10T21:56:36Z |
| Last updated:
|
2012-08-25 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/138404 |
| . |
