Поиск :
Личный кабинет :
Электронный каталог: Канович, М. И. - Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул
Канович, М. И. - Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул
Статья
Автор: Канович, М. И.
Доклады Академии наук СССР: Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул
б.г.
ISBN отсутствует
Автор: Канович, М. И.
Доклады Академии наук СССР: Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул
б.г.
ISBN отсутствует
На полку
Статья
Канович, М. И.
Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул / М. И. Канович // Доклады Академии наук СССР. – 1986. – Т. 290, № 2. – С. 281-286.
-- 1. Математика.
Канович, М. И.
Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул / М. И. Канович // Доклады Академии наук СССР. – 1986. – Т. 290, № 2. – С. 281-286.
-- 1. Математика.
Привязано к:
Доступно
1 из 1
Выпуск
Доклады Академии наук СССР Т. 290, № 2
1986 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 290, № 2
1986 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН