ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Интенсиональные логики и логическая структура теорий : Материалы IV Сов.-фин.симп.по логике,Телави,май 20-24,1985 г., 1988. - 182 с. - Текст : непосредственный.

Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный.Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный.

Показать все результаты

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

22nd international symposium on multiple-valued logic,May 27-29,1992,Sendai : Proc. / International symposium on multiple-valued logic (22; 1992; Sendai), 1992. - XV,482 p. p. - Текст : непосредственный.Proceedings of the 18th International symposium on multiplevalued logic,May 24-26,1988,Palma de Mallorca / International symposium on multiplevalued logic (18; 1988; Palma de Mallorca), 1988. - XIII,422 p. p. - Текст : непосредственный.Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : Тез. докл. / Всесоюзная конф. по мат. логике (10; 1990; Алма-Ата), 1990. - 176 c. - Текст : непосредственный.Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный.Orders,algorithms and applications : Intern.workshop ORDAL'94,Lyon,July 4-8 1994:Proc. / ORDAL'94, 1994. - 204 p. - Текст : непосредственный.XI Межреспубликанская конференция по математической логике, Казань, 6-8 окт. : Тез.сообщ. / Межреспубликанская конф. по мат. логике (11; 1992; Казань), 1992. - 164 с. - Текст : непосредственный.Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники, 2002. - 97 с. - Текст : непосредственный.1 Всероссийская научная конференция "Непрерывная логика и ее применение в технике, экономике и социологии" : Тезисы докл.22-23 сент.1994 г. / "Непрерывная логика и ее применение в технике, экономике и социологии",всерос. науч. конф. (1; 1994; Пенза), 1994. - 142 c. - Текст : непосредственный.Logics in artificial intelligence : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.], 2006 r=on-line. - Текст : электронный.

Показать все результаты

Лицевая сторона карточки	Обратная сторона карточки

Заказ фрагмента документа ₽