Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

1382

Купить

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

Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Name: Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
Rating: 4.5

Автор:

Дегтярев Анатолий Иванович

Год:

1982

Язык:

Русский

Страниц:

Описание:

Дегтярев А.И. Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). - Киев, 1982. - 24 с. - Библиогр.: с. 24 (8 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

В надзаг.: АН УССР, Ин-т кибернетики им. В.М. Глушкова . - Библиогр.: с. 24 (8 назв.)

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

2020-08-05 14:40:23

Соц. сети:

Важно

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

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

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

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

Реферат по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Курсовая по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

ВКР/Диплом по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Диссертация по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Заработать на знаниях по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

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

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

Режим работы

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

Телефон

Броварська міська бібліотека для дітей

Киевская область, Бровари
Марії Лагунової, 4

сентябрь-май: вс 9:00-17:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00

+380 (4594) 5-14-98

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

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

Режим работы

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

Телефон

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

Московская область, Подольск городской округ, Подольск, Кузнечики м-н
Академика Доллежаля, 6

сентябрь-май: пн-пт 11:00-19; сб выходной
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

Вконтакте: https://vk.com/club104500510

+7 (4967) 40-28-79

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

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

Режим работы

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

Телефон

Шумашская сельская библиотека

Рязанская область, Рязанский район, с. Шумашь
Центральная, 80

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МУК

Ярославская область, Ярославский район, Ярославль, Ленинский район, Пятёрка
Чкалова, 40

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

www.clib.yar.ru
Вконтакте: https://vk.com/cbs_yar
Facebook: https://facebook.com/197828793675165
Youtube: https://youtube.com/channel/UC7UjH0onSman5PnMTTC8Vgg

+7 (4852) 72-28-23

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

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

Режим работы

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

Телефон

Областная универсальная научная библиотека

Челябинская область, Челябинский городской округ, Челябинск, Центральный район
Ленина проспект, 60

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

www.chelreglib.ru
Вконтакте: https://vk.com/chelreglib
Инстаграм: https://instagram.com/chel_lib
Facebook: https://facebook.com/pages/челябинская-областная-универсальная-научная-библиотека/326427117410395
Твиттер: https://twitter.com/@centrpravodelnf
Youtube: https://youtube.com/user/Publichka74

+7 (351) 266-04-15 +7 (351) 266-05-33 +7 (351) 266-04-48 +7 (351) 266-05-01 +7 (351) 266-62-96

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

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

Режим работы

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

Телефон

Областная детская библиотека им. А.М. Горького

Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район, Ипподромский м-н
Некрасова, 84

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

maxlib.ru
Вконтакте: https://vk.com/club130803426

+7 (383) 224-95-70 +7 (383) 224-48-22

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

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

Режим работы

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

Телефон

Авдонская сельская детская библиотека №29

Республика Башкортостан, Уфимский район, с. Авдон
Фрунзе, 7

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

+7 (347) 271-07-87

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

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

Режим работы

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

Телефон

Библиотека, с. Русско-Высоцкое

Ленинградская область, Ломоносовский район, с. Русско-Высоцкое
Русско-Высоцкое, 2

Вт: 10:30-18:20
Ср: 10:30-18:20
Чт: 10:30-18:20
Пт: 10:30-18:20
Сб: 10:30-18:20

Вконтакте: https://vk.com/rusvys

+7 (81376) 7-77-49

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

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

Режим работы

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

Телефон

Библиотека №7 им. В.Г. Короленко

Волгоградская область, Волгоград городской округ, Волгоград, Кировский район, микрорайон Бекетовка
Писемского, 89

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

csgb7.volglib.ru

+7 (8442) 45-05-35

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

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

Режим работы

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

Телефон

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

Ульяновская область, Ульяновск городской округ, Ульяновск, Засвияжский район, 2-й микрорайон УЗТС
Станкостроителей, 20

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

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

+7 (8422) 63-30-03

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

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

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

Режим работы

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

Телефон

Броварська міська бібліотека для дітей

Киевская область, Бровари
Марії Лагунової, 4

сентябрь-май: вс 9:00-17:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00

+380 (4594) 5-14-98

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

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

Режим работы

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

Телефон

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

Московская область, Подольск городской округ, Подольск, Кузнечики м-н
Академика Доллежаля, 6

сентябрь-май: пн-пт 11:00-19; сб выходной
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

Вконтакте: https://vk.com/club104500510

+7 (4967) 40-28-79

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

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

Режим работы

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

Телефон

Шумашская сельская библиотека

Рязанская область, Рязанский район, с. Шумашь
Центральная, 80

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

Режим работы

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

Телефон

Централизованная библиотечная система, МУК

Ярославская область, Ярославский район, Ярославль, Ленинский район, Пятёрка
Чкалова, 40

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

www.clib.yar.ru
Вконтакте: https://vk.com/cbs_yar
Facebook: https://facebook.com/197828793675165
Youtube: https://youtube.com/channel/UC7UjH0onSman5PnMTTC8Vgg

+7 (4852) 72-28-23

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

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

Режим работы

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

Телефон

Областная универсальная научная библиотека

Челябинская область, Челябинский городской округ, Челябинск, Центральный район
Ленина проспект, 60

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

+7 (351) 266-04-15 +7 (351) 266-05-33 +7 (351) 266-04-48 +7 (351) 266-05-01 +7 (351) 266-62-96

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

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

Режим работы

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

Телефон

Областная детская библиотека им. А.М. Горького

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

maxlib.ru
Вконтакте: https://vk.com/club130803426

+7 (383) 224-95-70 +7 (383) 224-48-22

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

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

Режим работы

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

Телефон

Авдонская сельская детская библиотека №29

Республика Башкортостан, Уфимский район, с. Авдон
Фрунзе, 7

+7 (347) 271-07-87

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

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

Режим работы

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

Телефон

Библиотека, с. Русско-Высоцкое

Ленинградская область, Ломоносовский район, с. Русско-Высоцкое
Русско-Высоцкое, 2

Вт: 10:30-18:20
Ср: 10:30-18:20
Чт: 10:30-18:20
Пт: 10:30-18:20
Сб: 10:30-18:20

Вконтакте: https://vk.com/rusvys

+7 (81376) 7-77-49

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

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

Режим работы

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

Телефон

Библиотека №7 им. В.Г. Короленко

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

csgb7.volglib.ru

+7 (8442) 45-05-35

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

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

Режим работы

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

Телефон

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

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

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

+7 (8422) 63-30-03

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

Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Купить

Реферат по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Курсовая по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

ВКР/Диплом по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Диссертация по теме Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Реставрация Методы и средства обращения с равенством в машинном доказательстве теорем : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)