Поиск :
Личный кабинет :
Электронный каталог: Выполнимость формул логики предикатов
Выполнимость формул логики предикатов
Книга (аналит. описание)
Автор:
Задачи по теории множеств, математической логике и теории алгоритмов: Выполнимость формул логики предикатов
б.г.
ISBN отсутствует
Автор:
Задачи по теории множеств, математической логике и теории алгоритмов: Выполнимость формул логики предикатов
б.г.
ISBN отсутствует
Книга (аналит. описание)
Выполнимость формул логики предикатов // Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимов . – 2-е изд . – М. : Наука, 1984 . – с.75-80 .
Выполнимость формул логики предикатов // Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимов . – 2-е изд . – М. : Наука, 1984 . – с.75-80 .