Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Wozna, Bozena$<.>)
Общее количество найденных документов : 1
1.
   Pr1100
   Pr1100/949
Pr1100/949 / Pr1100/949-02 ВМИ

    Wozna, Bozena.
    Checking reachability properties for timed automata via SAT / B. Wozna, W. Penczek, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 19 p. : tab. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 949). - Res. also Pol. - Bibliogr.: p. 17-18
Перевод заглавия: Проверка доступности для временных автоматов через SAT
28.25
ББК З 815
Рубрики: Теория автоматов
Дескрипторы: сб пр -- моногр


Доп.точки доступа:
Penczek, W. ; Zbrzezny, A.
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН