Вы здесь

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

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2016
Стр.: 
С.69-92
Библиография: 
Библиогр.: c.90-92
Номер: 
4
Карточка: 

Б2.2.

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

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

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