| bibtype |
O -
Others
|
| ARLID |
0444296 |
| utime |
20240103210114.7 |
| mtime |
20150528235959.9 |
| title
(primary) (eng) |
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983 |
| mrcb200-f |
aut. Ivan Kramosil |
| publisher |
|
| specification |
|
| author
(primary) |
| ARLID |
cav_un_auth*0100779 |
| name1 |
Kramosil |
| name2 |
Ivan |
| institution |
UIVT-O |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0101205 |
| name1 |
Šindelář |
| name2 |
Jan |
| full_dept (cz) |
Stochastická informatika |
| full_dept |
Department of Stochastic Informatics |
| department (cz) |
SI |
| department |
SI |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
|