Numerické metody a počítače
Jaroslav Král (1974)
Pokroky matematiky, fyziky a astronomie
Similarity:
Displaying similar documents to “Jak spolehlivý je počítačový důkaz?”
Numerické metody a počítače
Matematické texty a osobní počítače
Oldřich Ulrych, Jiří Veselý, Jaromír Vosmanský (1990)
Pokroky matematiky, fyziky a astronomie
Similarity:
Jsou počítače ve výuce škodlivé?
Paul R. Halmos (1992)
Pokroky matematiky, fyziky a astronomie
Similarity:
Program TeXperience 2008
CSTUG editorial board (2008)
Zpravodaj Československého sdružení uživatelů TeXu
Similarity:
Jak žít s novou matematickou bytostí
Lynn Arthur Steen (1988)
Pokroky matematiky, fyziky a astronomie
Similarity:
Struktura matematiků a programů
Jiří Hořejš (1976)
Pokroky matematiky, fyziky a astronomie
Similarity: