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

Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.06)

Автор:
Замов Наиль Калимович
Год:
1973
Язык:
Русский
Страниц:
16
Описание:
Замов Н.К. Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.06) / АН СССР. Мат. ин-т им. В.А. Стеклова (Ленингр. отд-ние). - Казань, 1973. - 16 с. - Список лит.: с. 14-16 (27 назв.)
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Список лит.: с. 14-16 (27 назв.)
Дата создания:
2022-03-23 15:23:36
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.06)
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Западно-Казахстанская универсальная научная библиотека им. Ж. Молдагалиева, Управление культуры, архивов и документации
Западно-Казахстанская область, Уральск
Карева, 47
Расположение на карте
сентябрь-апрель: вт-пт 9:00-18:00, перерыв: 13:00-14:00
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Название и адрес
Режим работы
Телефон
Восточно-Казахстанская областная библиотека им. А.С. Пушкина
Восточно-Казахстанская область, Усть-Каменогорск городская администрация, Усть-Каменогорск
Казахстан, 102
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район, Пятилетка Турксиба
Земнухова, 44
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (727) 290-73-95
Показать номер
Название и адрес
Режим работы
Телефон
Нижегородская центральная специальная библиотека для слепых
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район
Варварская, 8в
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (831) 419-44-00
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №15, с. Новая Усмань
Воронежская область, Новоусманский район, с. Новая Усмань
Ленина, 60в/2
Расположение на карте
Пн: 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
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
 +7 (47341) 5-76-26
Показать номер
Название и адрес
Режим работы
Телефон
Приморская краевая библиотека для слепых
Приморский край, Владивостокский городской округ, Владивосток, Советский район
Чкалова, 6
Расположение на карте
санитарный день: первая ср месяца
Пн: 09:00-17:30
Вт: 09:00-17:30
Ср: 09:00-17:30
Чт: 09:00-17:30
Пт: 09:00-17:30
Сб: 10:00-17:30
Название и адрес
Режим работы
Телефон
Библиотека им. С.А. Жданько
Новосибирская область, Черепановский район, Черепаново
Партизанская, 10Б
Расположение на карте
зимний период: пн-пт 10:00-18:00; сб 10:00-15: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
 +7 (38345) 2-11-47
Показать номер
Название и адрес
Режим работы
Телефон
Государственная библиотека для слепых и слабовидящих
Ленинградская область, Гатчинский район, Гатчина
Карла Маркса, 63
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-16:00
Вт: 12:00-16:00
Ср: 12:00-16:00
Чт: 11:00-19:00
Пт: 12:00-16:00
 +7 (81371) 3-76-92
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Краснореченское
Хабаровский край, Хабаровский район, с. Краснореченское
Мостовая, 6
Расположение на карте
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
 +7 (4212) 49-32-29
Показать номер
Название и адрес
Режим работы
Телефон
Центральная районная библиотека
Краснодарский край, Усть-Лабинский район, Усть-Лабинск
Пролетарская, 104
Расположение на карте
Пн: 09:00-13:00 13:36-18:00
Вт: 09:00-13:00 13:36-18:00
Ср: 09:00-13:00 13:36-18:00
Чт: 09:00-13:00 13:36-18:00
Сб: 10:00-13:00 13:36-17:00
Вс: 10:00-13:00 13:36-17:00
 +7 (86135) 4-64-10
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Западно-Казахстанская универсальная научная библиотека им. Ж. Молдагалиева, Управление культуры, архивов и документации
Западно-Казахстанская область, Уральск
Карева, 47
Расположение на карте
сентябрь-апрель: вт-пт 9:00-18:00, перерыв: 13:00-14:00
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Название и адрес
Режим работы
Телефон
Восточно-Казахстанская областная библиотека им. А.С. Пушкина
Восточно-Казахстанская область, Усть-Каменогорск городская администрация, Усть-Каменогорск
Казахстан, 102
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район, Пятилетка Турксиба
Земнухова, 44
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (727) 290-73-95
Показать номер
Название и адрес
Режим работы
Телефон
Нижегородская центральная специальная библиотека для слепых
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район
Варварская, 8в
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (831) 419-44-00
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №15, с. Новая Усмань
Воронежская область, Новоусманский район, с. Новая Усмань
Ленина, 60в/2
Расположение на карте
Пн: 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
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
 +7 (47341) 5-76-26
Показать номер
Название и адрес
Режим работы
Телефон
Приморская краевая библиотека для слепых
Приморский край, Владивостокский городской округ, Владивосток, Советский район
Чкалова, 6
Расположение на карте
санитарный день: первая ср месяца
Пн: 09:00-17:30
Вт: 09:00-17:30
Ср: 09:00-17:30
Чт: 09:00-17:30
Пт: 09:00-17:30
Сб: 10:00-17:30
Название и адрес
Режим работы
Телефон
Библиотека им. С.А. Жданько
Новосибирская область, Черепановский район, Черепаново
Партизанская, 10Б
Расположение на карте
зимний период: пн-пт 10:00-18:00; сб 10:00-15: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
 +7 (38345) 2-11-47
Показать номер
Название и адрес
Режим работы
Телефон
Государственная библиотека для слепых и слабовидящих
Ленинградская область, Гатчинский район, Гатчина
Карла Маркса, 63
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-16:00
Вт: 12:00-16:00
Ср: 12:00-16:00
Чт: 11:00-19:00
Пт: 12:00-16:00
 +7 (81371) 3-76-92
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Краснореченское
Хабаровский край, Хабаровский район, с. Краснореченское
Мостовая, 6
Расположение на карте
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
 +7 (4212) 49-32-29
Показать номер
Название и адрес
Режим работы
Телефон
Центральная районная библиотека
Краснодарский край, Усть-Лабинский район, Усть-Лабинск
Пролетарская, 104
Расположение на карте
Пн: 09:00-13:00 13:36-18:00
Вт: 09:00-13:00 13:36-18:00
Ср: 09:00-13:00 13:36-18:00
Чт: 09:00-13:00 13:36-18:00
Сб: 10:00-13:00 13:36-17:00
Вс: 10:00-13:00 13:36-17:00
 +7 (86135) 4-64-10
Показать номер
Прикрепить файл