O dynamické logice
Petr Hájek, Pavel Kalášek, Petr Kůrka (1980)
Kybernetika
Similarity:
Displaying similar documents to “Odhad chyby Runge-Kuttovy formule”
O dynamické logice
Syntaktické metody matematické logiky
Petr Hájek (1966)
Pokroky matematiky, fyziky a astronomie
Similarity:
O vztahu formy a obsahu v matematice a logice. II
Jiří Hořejš, Alois Glanc (1967)
Pokroky matematiky, fyziky a astronomie
Similarity:
GUHA - metoda systematického vyhledávání hypotéz
Petr Hájek, Ivan Havel, Metoděj Chytil (1966)
Kybernetika
Similarity:
Aposteriorní odhady chyby v metodě konečných prvků
Tomáš Vejchodský (2008)
Pokroky matematiky, fyziky a astronomie
Similarity: