–
Доклады на научных конференциях
-
- 2000 Пример реализации механизма вывода, базирующегос я на принципе резолюции и паромодуляции, в сети фреймов, построенной при помощи реляционных отношений (Приглашенный)
- Авторы: Казначеева А.В., Петров О.М.
- Международная научно-техническая конференция "Моделирование электрических приборов и технических процессов, обеспечение качества, надежности и радиационной стойкости приборов и аппаратуры", Севастополь, Россия, 9-17 сентября 2000