Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Вычислимость в математической логике<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Теория вычислимости и языки спецификаций/АН СССР. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - 1991
2.

Структурные алгоритмические свойства вычислимости/Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - 1996
3.

Обобщенная вычислимость и определимость/Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - 1998
4.

Berman P. Approximation hardness and satisfiability of bounded occurrence instances of SAT/P. Berman, M. Karpinski, A.D. Scott. - 2003
5.

Ершов Ю.Л. Определимость и вычислимость/Ю. Л. Ершов. - 1996
6.

Пенроуз Р. Новый ум короля/Р. Пенроуз; Пер. с англ. под общ. ред. Малышенко В.О. - 2003
7.

Moore C. The nature of computation/C. Moore , S. Mertens. - 2011
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН