Pěvecká výchova

von Chvalovský, Karel K.
Veröffentlicht 1962

František Kmoch : Život českého muzikanta a vlastence

von Chvalovský, Karel K.
Veröffentlicht 1971

Sto let městské hudby Františka Kmocha v Kolině : Almanach 1872-1972

Veröffentlicht 1974

František Kmoch : život českého muzikanta a vlastence

von Chvalovský, Karel Karel
Veröffentlicht 1971

Learning Theorem Proving Components

von Chvalovský, Karel
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Fast and Slow Enigmas and Parental Guidance

von Goertzel, Zarathustra A.
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)

von Jakubuv, Jan
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)