О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007)
893
Купить
Краткое содержание:
Экранизация книги

О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007)

Автор:
Давыдов Геннадий Валентинович
Год:
1969
Язык:
Русский
Страниц:
14
Описание:
Давыдов Г.В. О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007) / АН СССР. Мат. ин-т им. В.А. Стеклова. Ленингр. отд-ние. - Ленинград, 1969. - 14 с. - Список работ авт.: с. 13-14 (21 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Список работ авт.: с. 13-14 (21 назв.)
Дата создания:
2022-03-16 11:36:26
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007)

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007)
Опросы
В каком жанре книга?
Художественная литература
Наука и образование
Компьютеры и интернет
Бизнес и экономика
Искусство и культура
Дом, семья, досуг
Детская литература
Словари, справочники, энциклопедии
Техническая литература
Медицина
Юридическая литература
Астрология, магия, эзотерика
Литература на иностранных языках
Журналы и газеты
Другое
Не знаю
Содержание

Реставрация О методах поиска вывода в исчислении предикатов : Автореф. дис. на соискание учен. степени канд. физ.-мат. наук : (007)

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Алмалинский район
Толе би, 160
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
www.libraryalmaty.kz
 +7 (727) 375-52-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Администрация муниципального образования Яксатовский сельсовет
Астраханская область, Приволжский район, с. Атал
Мусы Джалиля, 1
Расположение на карте
Пн: 10:00-12:00 13:00-17:00
Ср: 10:00-12:00 13:00-17:00
Пт: 10:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №210
Москва, Москва, Фили-Давыдково район
Аминьевское шоссе, 24
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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/library37210
Facebook:  https://facebook.com/library37
 +7 (499) 445-05-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №248
Москва, Москва, Строгино район
Кулакова, 19
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
szao-cbs.ru
Вконтакте:  https://vk.com/biblioszao_msk
Facebook:  https://facebook.com/Szaobibl.Msk
 +7 (495) 750-15-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Иркутский научный центр СО РАН
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ, Академгородок м-н
Лермонтова, 128
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
www.isc.irk.ru/bibl.htm
 +7 (3952) 42-56-21 +7 (3952) 51-08-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека семейного чтения, МУ
Липецкая область, Липецк городской округ, Липецк, Октябрьский округ, 26-й микрорайон
Теперика, 1
Расположение на карте
санитарный день: последний вт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 09:00-18:00
liplib.ru
Вконтакте:  https://vk.com/club58937843
Одноклассники:  https://ok.ru/group/54235417215089
 +7 (4742) 55-06-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Санниковская поселенческая библиотека
Алтайский край, Первомайский район, с. Санниково
Трофимова, 13
Расположение на карте
Вт: 10:00-13:00 15:00-19:00
Ср: 10:00-13:00 15:00-19:00
Чт: 10:00-13:00 15:00-19:00
Пт: 10:00-13:00 15:00-19:00
Сб: 10:00-13:00 15:00-19:00
 +7 (38532) 7-84-26
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Курская область, Курск городской округ, Курск, Центральный округ, Центр
Карла Маркса, 23
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (4712) 58-82-89 +7 (4712) 58-82-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, пос. Раздольный
Кемеровская область, Гурьевский район, пос. Раздольный
Центральная, 9а
Расположение на карте
Пн: 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
 +7 (38463) 5-10-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Красноярский край, Минусинск городской округ, Минусинск
Ленина, 101
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-17:00
мгцбс.рф
Вконтакте:  https://vk.com/pikvseti
Facebook:  https://facebook.com/pikvseti
 +7 (39132) 2-02-84
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Алмалинский район
Толе би, 160
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
www.libraryalmaty.kz
 +7 (727) 375-52-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Администрация муниципального образования Яксатовский сельсовет
Астраханская область, Приволжский район, с. Атал
Мусы Джалиля, 1
Расположение на карте
Пн: 10:00-12:00 13:00-17:00
Ср: 10:00-12:00 13:00-17:00
Пт: 10:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №210
Москва, Москва, Фили-Давыдково район
Аминьевское шоссе, 24
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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/library37210
Facebook:  https://facebook.com/library37
 +7 (499) 445-05-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №248
Москва, Москва, Строгино район
Кулакова, 19
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
szao-cbs.ru
Вконтакте:  https://vk.com/biblioszao_msk
Facebook:  https://facebook.com/Szaobibl.Msk
 +7 (495) 750-15-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Иркутский научный центр СО РАН
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ, Академгородок м-н
Лермонтова, 128
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
www.isc.irk.ru/bibl.htm
 +7 (3952) 42-56-21 +7 (3952) 51-08-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека семейного чтения, МУ
Липецкая область, Липецк городской округ, Липецк, Октябрьский округ, 26-й микрорайон
Теперика, 1
Расположение на карте
санитарный день: последний вт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 09:00-18:00
liplib.ru
Вконтакте:  https://vk.com/club58937843
Одноклассники:  https://ok.ru/group/54235417215089
 +7 (4742) 55-06-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Санниковская поселенческая библиотека
Алтайский край, Первомайский район, с. Санниково
Трофимова, 13
Расположение на карте
Вт: 10:00-13:00 15:00-19:00
Ср: 10:00-13:00 15:00-19:00
Чт: 10:00-13:00 15:00-19:00
Пт: 10:00-13:00 15:00-19:00
Сб: 10:00-13:00 15:00-19:00
 +7 (38532) 7-84-26
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Курская область, Курск городской округ, Курск, Центральный округ, Центр
Карла Маркса, 23
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (4712) 58-82-89 +7 (4712) 58-82-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, пос. Раздольный
Кемеровская область, Гурьевский район, пос. Раздольный
Центральная, 9а
Расположение на карте
Пн: 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
 +7 (38463) 5-10-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Красноярский край, Минусинск городской округ, Минусинск
Ленина, 101
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-17:00
мгцбс.рф
Вконтакте:  https://vk.com/pikvseti
Facebook:  https://facebook.com/pikvseti
 +7 (39132) 2-02-84
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.