Опис документа:
| |
Автор: | Глибовець М.М., Медведєв М.Г. |
Назва: | Опис складних систем інформації за допомогою часових логік |
Рік: | 1996 |
Сторінок: | С. 106-114 |
Тип документу: |
Стаття |
Головний документ: |
Вісник Київського університету імені Тараса Шевченка |
Анотація: | Вводяться основні поняття і базові оператори часових логік. |
Пошук: заповніть хоча б одне з полів
|
|