Вы здесь
A Logic for Reasoning about Safety in Decision Support Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.79-84.
Библиография:
Bibliogr.: p.84.
Источник:
Том:
747
Карточка:
В2.11, В2.12.
Das S. K., Fox J..
A Logic for Reasoning about Safety in Decision Support Systems// Lecture Notes in Computer Science-1993.-Vol. 747.-P.79-84.
Bibliogr.: p.84.
Таблица в старой библиотеке:
PAP7 372