Вы здесь

Rybakov V. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Preserving of Admissible Inference Rules in Modal Logic 1994 Rybakov V. V. Lecture Notes in Computer Science 02.08.1994
СТ Modal Logics Preserving Admissible for S4 Inference Rules 1995 Rybakov V. V. Lecture Notes in Computer Science Computer Science Logic 24.09.1995