Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

1747

Купить

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

Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Name: Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation
Rating: 4.5

Автор:

Стрыгин Владимир Захарович

Год:

2005

Язык:

Русский

Страниц:

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

Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 145

Описание:

Стрыгин В. З. Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation / Стрыгин Владимир Захарович. - М. : Издат. отд. ЦАГИ, 2005. - 3 с. ; 20 см. - (Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 145). - Библиогр.: с. 3

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

4.5

Материалы:

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

Рубрики:

Исчисление предикатов

Примечания:

Авт. также на англ. яз.: Vladimir Z. Strygin . - Библиогр.: с. 3

ББК:

В123,09

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

2022-02-19 00:45:34

Соц. сети:

Важно

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

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

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

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

Реферат по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

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

Курсовая по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

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

ВКР/Диплом по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

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

Диссертация по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

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

Заработать на знаниях по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

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

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

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

Режим работы

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

Телефон

Городская библиотека им. А.С. Пушкина

Калужская область, Калуга городской округ, Калуга, Московский округ
Чичерина, 11
Расположение на карте

июнь-август: пн-пт 11:00-19:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00

+7 (4842) 72-46-85

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

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

Режим работы

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

Телефон

Диалог, библиотека

Амурская область, Благовещенск городской округ, Благовещенск
Политехническая, 46
Расположение на карте

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

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-12

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

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

Режим работы

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

Телефон

Горно-Алтайская городская библиотечная система

Республика Алтай, Горно-Алтайск городской округ, Горно-Алтайск, Жилмассив
Коммунистический проспект, 178
Расположение на карте

летний период: пн-пт 9:00-18:00; сб-вс выходной
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (38822) 6-30-77 +7 (38822) 6-17-99

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

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

Режим работы

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

Телефон

Ыныргинская сельская библиотека им. В.Г. Бахмутова

Республика Алтай, Чойский район, с. Ынырга
Тихоновского, 8
Расположение на карте

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

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

Режим работы

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

Телефон

Библиотека №6 им. К.Г. Паустовского

Свердловская область, Екатеринбург городской округ, Екатеринбург, Верх-Исетский район, Юго-Западный
Белореченская, 26а
Расположение на карте

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

+7 (343) 214-47-42 +7 (343) 233-67-69 +7 (343) 233-71-15

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

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

Режим работы

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

Телефон

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

Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Строитель
Предзаводская, 7
Расположение на карте

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

+7 (4912) 24-53-15

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

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

Режим работы

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

Телефон

Дом семьи, библиотека

Томская область, Томск городской округ, Томск, Октябрьский район
Железнодорожная, 32
Расположение на карте

санитарный день: последняя ср месяца; летний период: пн-пт 11:00-19:00; сб-вс выходной
Пн: 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 (3822) 65-57-57

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

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

Режим работы

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

Телефон

Библиотека им. Ленинского комсомола

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Сормовский район
Василия Иванова, 28а
Расположение на карте

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

www.sormlib.nnov.ru

+7 (831) 227-05-79

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

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

Режим работы

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

Телефон

Библиотека семейного чтения им. М. Горького

Нижегородская область, Дзержинск городской округ, Дзержинск
Пирогова, 34а
Расположение на карте

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

www.dzlib.ru
Вконтакте: https://vk.com/club96196529

+7 (8313) 29-88-48 +7 (8313) 21-84-43

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

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

Режим работы

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

Телефон

Центральная городская библиотека

Кемеровская область, Беловский городской округ, Белово
Юности, 20
Расположение на карте

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

Одноклассники: https://ok.ru/profile/567467758994

+7 (38452) 2-19-72 +7 (38452) 2-64-03 +7 (38452) 2-60-42

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

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

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

Режим работы

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

Телефон

Городская библиотека им. А.С. Пушкина

Калужская область, Калуга городской округ, Калуга, Московский округ
Чичерина, 11
Расположение на карте

июнь-август: пн-пт 11:00-19:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00

+7 (4842) 72-46-85

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

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

Режим работы

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

Телефон

Диалог, библиотека

Амурская область, Благовещенск городской округ, Благовещенск
Политехническая, 46
Расположение на карте

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

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-12

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

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

Режим работы

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

Телефон

Горно-Алтайская городская библиотечная система

+7 (38822) 6-30-77 +7 (38822) 6-17-99

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

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

Режим работы

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

Телефон

Ыныргинская сельская библиотека им. В.Г. Бахмутова

Республика Алтай, Чойский район, с. Ынырга
Тихоновского, 8
Расположение на карте

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

Режим работы

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

Телефон

Библиотека №6 им. К.Г. Паустовского

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

+7 (343) 214-47-42 +7 (343) 233-67-69 +7 (343) 233-71-15

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

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

Режим работы

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

Телефон

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

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

+7 (4912) 24-53-15

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

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

Режим работы

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

Телефон

Дом семьи, библиотека

Томская область, Томск городской округ, Томск, Октябрьский район
Железнодорожная, 32
Расположение на карте

+7 (3822) 65-57-57

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

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

Режим работы

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

Телефон

Библиотека им. Ленинского комсомола

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

www.sormlib.nnov.ru

+7 (831) 227-05-79

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

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

Режим работы

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

Телефон

Библиотека семейного чтения им. М. Горького

Нижегородская область, Дзержинск городской округ, Дзержинск
Пирогова, 34а
Расположение на карте

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

www.dzlib.ru
Вконтакте: https://vk.com/club96196529

+7 (8313) 29-88-48 +7 (8313) 21-84-43

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

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

Режим работы

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

Телефон

Центральная городская библиотека

Кемеровская область, Беловский городской округ, Белово
Юности, 20
Расположение на карте

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

Одноклассники: https://ok.ru/profile/567467758994

+7 (38452) 2-19-72 +7 (38452) 2-64-03 +7 (38452) 2-60-42

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

Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Купить

Реферат по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Курсовая по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

ВКР/Диплом по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Диссертация по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Заработать на знаниях по теме Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation

Реставрация Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation