Počet záznamů: 1
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983
- 1.0444296 - UIVT-O 200377 CS1 eng O - Ostatní výsledky
Kramosil, Ivan - Šindelář, Jan
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983.
1983
Trvalý link: http://hdl.handle.net/11104/0246853
Název souboru Staženo Velikost Komentář Verze Přístup 0444296.pdf 0 1.9 MB Jiná vyžádat
Počet záznamů: 1