Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
| Язык оригинала | не определен |
|---|---|
| Название основной публикации | IJCAR 2001-International Joint Conference on Automated Reasoning |
| Страницы | 113-121 |
| Состояние | Опубликовано - 2001 |
| Опубликовано для внешнего пользования | Да |
ID: 4788921