Критерий наследования допустимых правил вывода для модальной логики К4 : препринт

Тип публикации: препринт

Год издания: 2002

Место издания: ВИНИТИ РАН

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.