Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Герасимов, Александр Сергеевич |
загрузить
в подборку |
Заглавие | Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат дис. ... кандидата физико-математических наук : 05.13.11 | |
Выходные данные | Санкт-Петербург 2007 | |
Физическое описание | 15 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
Ключевые слова |
предикатная логика Лукасевича |
|
Хранение | 9 07-2/2231; | |
Электронный адрес |
Электронный ресурс |