О схемном методе разрешения пропозициональных динамических логик

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1988

Ключевые слова:

Место издания:

Источник:

Карточка:

Непомнящий В. А., Шилов Н. В..

О схемном методе разрешения пропозициональных динамических логик-Новосибирск.// Тез.докл. II Всесоюз. конф. по прикладной логике, 1988.

Таблица в старой библиотеке:

ISI1 734