Метод схем программ для пропозициональных программных логик за 30 лет | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Шилов Н. В.

Шилова С. О.

Бернштейн А. Ю.

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

1

Вид:

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

Год:

2016

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

схемный метод

доказательство

разрешимость

пропозициональные логики

программные логики

недетерминированный

Стр.:

С.69-92

Библиография:

Библиогр.: c.90-92

Источник:

Программирование

Номер:

4

Карточка:

Б2.2.

Шилов Н. В., Шилова С. О., Бернштейн А. Ю..

Метод схем программ для пропозициональных программных логик за 30 лет// Программирование-2016, №4.-С.69-92
Библиогр.: c.90-92

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

PAP31 986