Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

1514

Купить

Краткое содержание:

Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Name: Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973
Rating: 4.5

Автор:

Дегтярев А.И.

Год:

1975

Язык:

Русский

Страниц:

Заглавие серии:

АН УССР. Институт кибернетики. Секция "Теоретическая кибернетика". Препринт ; 75-23

Описание:

Дегтярев А.И. Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973. - Киев : Б. и., 1975. - 28 с. ; 20 см. - (АН УССР. Институт кибернетики. Секция "Теоретическая кибернетика". Препринт ; 75-23). - Библиогр.: с. 27-28

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

–

Примечания:

Библиогр.: с. 27-28

Дата создания:

2021-09-12 07:29:44

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Об использовании аксиом функциональной рефлексивности в P & R процедуре опровержения : Доложено на семинаре "Автоматизация обработки доказательств теорем и интеллектуальные машины" 30/XI 1973

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

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

Бишкек, Бишкек, Первомайский район
Эркиндик бульвар, 58а
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

+996 (312) 62-58-94 +996 (312) 62-58-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека им. Анны Ахматовой

Московская область, Домодедово городской округ, Домодедово, Центральный м-н
Коломийца, 9
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

dombibl.ru/
Вконтакте: https://vk.com/dombibl
Инстаграм: https://instagram.com/dombibl

+7 (496) 794-21-52 +7 (49679) 7-45-14

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9 им. Н.В. Гоголя

Москва, Москва, Пресненский район
Большая Грузинская, 39 ст1
Расположение на карте

санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00

cbscao.ru
Вконтакте: https://vk.com/cbscao
Инстаграм: https://instagram.com/cbscao
Facebook: https://facebook.com/cbscao

+7 (499) 253-87-83 +7 (499) 253-81-59

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, пос. Жилино-1
Жилино-1 посёлок, 63
Расположение на карте

Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-17:00

tomlibrary.ru

+7 (495) 567-46-07

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Берёзовская библиотека

Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте

Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00

+7 (83147) 7-79-22

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека им. А.П. Гайдара

Иркутская область, Ангарский городской округ, Ангарск
106-й квартал, 8
Расположение на карте

зимний период: пн-пт 10:00-18:00; сб выходной; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

deti.cbs-angarsk.ru

+7 (3955) 52-16-69 +7 (3955) 52-30-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Новомосковская библиотечная система, МБУК

Тульская область, Новомосковск городской округ, Новомосковск
Московская, 2а
Расположение на карте

зимний период: пн-чт 9:00-18:00; сб-вс 9:00-17:00; пт выходной
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

nmosk-lib.ru
Вконтакте: https://vk.com/club76870112

+7 (48762) 6-24-97

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, ПНИПУ

Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Комсомольский проспект, 29
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

lib.pstu.ru
Вконтакте: https://vk.com/libpsturu
Твиттер: https://twitter.com/@library_snrpup

+7 (342) 219-84-62 +7 (342) 219-81-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека, МБУК

Владимирская область, Владимир городской округ, Владимир, Фрунзенский район
Юбилейная, 38
Расположение на карте

санитарный день: последний день месяца
Пн: 11:00-13:00 14:00-18:00
Вт: 11:00-13:00 14:00-18:00
Ср: 11:00-13:00 14:00-18:00
Чт: 11:00-13:00 14:00-18:00

biblioteka33.ru

+7 (4922) 21-22-75

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

Ульяновская область, Ульяновск городской округ, Ульяновск, Засвияжский район, Связь м-н
Минина, 25
Расположение на карте

санитарный день: последний чт месяца
Пн: 11:30-19:00
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Сб: 11:30-19:00
Вс: 11:30-17:00

Твиттер: https://twitter.com/@library_73?lang=ru

+7 (8422) 34-21-79

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

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

Бишкек, Бишкек, Первомайский район
Эркиндик бульвар, 58а
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

+996 (312) 62-58-94 +996 (312) 62-58-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека им. Анны Ахматовой

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

dombibl.ru/
Вконтакте: https://vk.com/dombibl
Инстаграм: https://instagram.com/dombibl

+7 (496) 794-21-52 +7 (49679) 7-45-14

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9 им. Н.В. Гоголя

Москва, Москва, Пресненский район
Большая Грузинская, 39 ст1
Расположение на карте

санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00

cbscao.ru
Вконтакте: https://vk.com/cbscao
Инстаграм: https://instagram.com/cbscao
Facebook: https://facebook.com/cbscao

+7 (499) 253-87-83 +7 (499) 253-81-59

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, пос. Жилино-1
Жилино-1 посёлок, 63
Расположение на карте

Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-17:00

tomlibrary.ru

+7 (495) 567-46-07

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Берёзовская библиотека

Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте

Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00

+7 (83147) 7-79-22

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека им. А.П. Гайдара

Иркутская область, Ангарский городской округ, Ангарск
106-й квартал, 8
Расположение на карте

deti.cbs-angarsk.ru

+7 (3955) 52-16-69 +7 (3955) 52-30-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Новомосковская библиотечная система, МБУК

Тульская область, Новомосковск городской округ, Новомосковск
Московская, 2а
Расположение на карте

зимний период: пн-чт 9:00-18:00; сб-вс 9:00-17:00; пт выходной
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

nmosk-lib.ru
Вконтакте: https://vk.com/club76870112

+7 (48762) 6-24-97

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, ПНИПУ

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

lib.pstu.ru
Вконтакте: https://vk.com/libpsturu
Твиттер: https://twitter.com/@library_snrpup

+7 (342) 219-84-62 +7 (342) 219-81-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека, МБУК

санитарный день: последний день месяца
Пн: 11:00-13:00 14:00-18:00
Вт: 11:00-13:00 14:00-18:00
Ср: 11:00-13:00 14:00-18:00
Чт: 11:00-13:00 14:00-18:00

biblioteka33.ru

+7 (4922) 21-22-75

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

санитарный день: последний чт месяца
Пн: 11:30-19:00
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Сб: 11:30-19:00
Вс: 11:30-17:00

Твиттер: https://twitter.com/@library_73?lang=ru

+7 (8422) 34-21-79

Показать номер