
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-NLB-ar2653013"
Записи: 1 - 4 из 4 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
2007	Карпенко, Александр Степанович (доктор философских наук ; писатель ; род. 1946)	Логики Лукасевича и простые числа / А. С. Карпенко ; отв. ред. В. К. Финн
2016	Карпенко, Александр Степанович (доктор философских наук ; писатель ; род. 1946)	Развитие многозначной логики / А. С. Карпенко ; Российская академия наук, Институт философии
2007	Герасимов, Александр Сергеевич (кандидат физико-математических наук)	Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Герасимов Александр Сергеевич ; Санкт-Петербургский государственный университет
2008		Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli [et al.]

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси