Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов
2599
Купить
Краткое содержание:
Экранизация книги

Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов

Автор:
Варданян Валерий Арамович
Год:
1985
Язык:
Русский
Страниц:
24
Заглавие серии:
Препринт / АН СССР. Науч. совет по комплекс. пробл. "Кибернетика"
Описание:
Варданян В.А. Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов. - М. : ВИНИТИ, 1985. - 24 с. ; 21 см. - (Препринт / АН СССР. Науч. совет по комплекс. пробл. "Кибернетика"). - Библиогр.: с. 24
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 24
Дата создания:
2020-08-29 08:21:14
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов

Заказать реферат Узнать стоимость Скачать пример
Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 (18.11.2020)
Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020». Заседание второе (18.11.2020). Заседание первое (11.11.2020) доступно ...
Кафедра матем. логики
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов
Опросы
У книги есть аудиоверсия?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7
Брянская область, Брянск городской округ, Брянск, Бежицкий район, Радица-Крыловка
Ленина, 2
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/public44755079
 +7 (4832) 28-44-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №159
Москва, Москва, Нагатино-Садовники район
Нагатинская, 11 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/public133885714
Facebook:  https://facebook.com/334510496931445
 +7 (499) 611-52-38 +7 (499) 618-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5, г. Лобня
Московская область, Лобня городской округ, Лобня, Южный
Кольцевая, 1
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (498) 672-80-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Воскресенская межпоселенческая библиотека, МУК
Московская область, Воскресенский район, пгт Виноградово
Коммунистическая, 9
Расположение на карте
Вт: 12:30-19:00
Пт: 12:30-19:00
Сб: 10:30-17:00
voslib.ru
Вконтакте:  https://vk.com/club100436330
 +7 (49644) 2-49-86
Показать номер
Рецензии и отзывы
Егор Петров
Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов. Аннотация: техт сгенерирован с помощью нейросети Порфирьевич porfirevich.ru
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7
Брянская область, Брянск городской округ, Брянск, Бежицкий район, Радица-Крыловка
Ленина, 2
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/public44755079
 +7 (4832) 28-44-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №159
Москва, Москва, Нагатино-Садовники район
Нагатинская, 11 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/public133885714
Facebook:  https://facebook.com/334510496931445
 +7 (499) 611-52-38 +7 (499) 618-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5, г. Лобня
Московская область, Лобня городской округ, Лобня, Южный
Кольцевая, 1
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (498) 672-80-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Воскресенская межпоселенческая библиотека, МУК
Московская область, Воскресенский район, пгт Виноградово
Коммунистическая, 9
Расположение на карте
Вт: 12:30-19:00
Пт: 12:30-19:00
Сб: 10:30-17:00
voslib.ru
Вконтакте:  https://vk.com/club100436330
 +7 (49644) 2-49-86
Показать номер
Информация от пользователей
Азат Нагирян
Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов. Аннотация:
Прикрепить файл
Книга находятся в категориях.