Others

A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983

Kramosil Ivan, Šindelář Jan

: ( 1983)