Вы здесь
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.134-145.
Библиография:
Bibliogr.: p.145
Источник:
Том:
1181
Карточка:
В2.13, В2.12.
Boutsinas B., Papadimitrou S., Pavlides G..
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance// Lecture Notes in Computer Science-1996.-Vol. 1181.-P.134-145.
Bibliogr.: p.145
Таблица в старой библиотеке:
PAP16 61