0409035 20240103182043.320060210235959.9 Implementace přímé metody automatického derivování. Systém JAD Praha ÚTIA AV ČR 1995 26 s. Research Report 1831 cav_un_auth*0101191 Schindler Zdeněk UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 09I 201/93/0425 GA ČR cav_un_auth*0212071 MTR http://hdl.handle.net/11104/0129137 UTIA-B 950030 1995 1995 Praha ÚTIA AV ČR