1 http://hdl.handle.net/10338.dmlcz/127186 1 Time conditional propositions http://hdl.handle.net/10338.dmlcz/120205 Time conditional propositions Heuristic search algorithms on directed trees http://hdl.handle.net/10338.dmlcz/120204 Heuristic search algorithms on directed trees Application of the Laplace transform to simulating continuous systems http://hdl.handle.net/10338.dmlcz/120203 Application of the Laplace transform to simulating continuous systems A note to the Laplace transformation http://hdl.handle.net/10338.dmlcz/120202 A note to the Laplace transformation