| bibtype |
J -
Journal Article
|
| ARLID |
0403171 |
| utime |
20240103181732.9 |
| mtime |
20060210235959.9 |
| SCOPUS |
0021938161 |
| WOS |
A1985AJB4800001 |
| title
(primary) (eng) |
Computational Complexity of Probabilistic Searching Algorithms over Herbrand Universes |
| serial |
| ARLID |
cav_un_epca*0256445 |
| ISSN |
0232-0274 |
| title
|
Computers and Artificial Intelligence |
| volume_id |
4 |
| volume |
2 (1985) |
| page_num |
97-108 |
|
| 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 |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| permalink |
http://hdl.handle.net/11104/0123497 |
| ID_orig |
UIVT-O 200362 |
| arlyear |
1985 |
| mrcbU14 |
0021938161 SCOPUS |
| mrcbU34 |
A1985AJB4800001 WOS |
| mrcbU63 |
cav_un_epca*0256445 Computers and Artificial Intelligence 0232-0274 Roč. 4 č. 2 1985 97 108 |
|