0444296 20240103210114.720150528235959.9 A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983 aut. Ivan Kramosil 1983 4 s. cav_un_auth*0100779 Kramosil Ivan UIVT-O Ústav informatiky AV ČR, v. v. i. cav_un_auth*0101205 Šindelář Jan Stochastická informatika Department of Stochastic Informatics SI SI UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 4 R 4r 20231122140955.8 http://hdl.handle.net/11104/0246853 UIVT-O 200377 1983 Soubory v repozitáři: 0444296.pdf 1983