Мультиинтеpактивные системы доказательств с постоянным количеством pаундов и их пpименения : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1729
Краткое содержание:
Экранизация книги

Мультиинтеpактивные системы доказательств с постоянным количеством pаундов и их пpименения : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06

Автор:
Веpбицкий Олег Васильевич
Год:
1994
Язык:
Русский
Страниц:
11
Описание:
Веpбицкий, Олег Васильевич. Мультиинтеpактивные системы доказательств с постоянным количеством pаундов и их пpименения : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06 / МГУ им.М. В. Ломоносова. - М., 1994. - 11 с. - Библиогр.: с. 11 Краткое содержание книги
Рейтинг по отзывам:
4.5
Рубрики:
Математическая логика → Доказательства на счетных машинах
Примечания:
Библиогр.: с. 11
Дата создания:
2021-05-01 21:14:21
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Мультиинтеpактивные системы доказательств с постоянным количеством pаундов и их пpименения : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
Она написана малоизвестным автором?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Дорожная научно-техническая библиотека
Челябинская область, Челябинский городской округ, Челябинск, Советский район
Свободы, 102
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Название и адрес
Режим работы
Телефон
Центральная библиотека им. М.Е. Салтыкова-Щедрина центрального округа
Новосибирская область, Новосибирск городской округ, Новосибирск, Заельцовский район, Линейный м-н
Красный проспект, 83
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 11:00-18:00
Сб: 11:00-18:00
 +7 (383) 226-48-10 +7 (383) 225-47-78
Показать номер
Название и адрес
Режим работы
Телефон
Сидоровская сельская библиотека
Новосибирская область, Колыванский район, с. Сидоровка
Советская, 28
Расположение на карте
Вт: 10:00-13:00
Ср: 10:00-13:00
Чт: 10:00-13:00
Пт: 10:00-13:00
Сб: 10:00-13:00
Вс: 10:00-13:00
 +7 (38352) 3-42-43
Показать номер
Название и адрес
Режим работы
Телефон
Научная библиотека, ТвГУ
Тверская область, Тверь городской округ, Тверь, Центральный район
Володарского, 44а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Название и адрес
Режим работы
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Орджоникидзевский район, Новобайдаевский м-н
Зорге, 6
Расположение на карте
санитарный день: последний рабочий день месяца; летний период: пн-пт 10:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-17:00
 +7 (3843) 34-22-79
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, пос. Мелиоративный
Республика Карелия, Прионежский район, пос. Мелиоративный
Петрозаводская, 22
Расположение на карте
Пн: 09:45-19:00
Вт: 09:45-19:00
Ср: 09:45-19:00
Чт: 09:45-19:00
Вс: 10:00-17:00
 +7 (8142) 78-74-35 +7 (8142) 78-76-20
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №7
Костромская область, Кострома городской округ, Кострома, Первомайский пос.
Боровая, 34
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (4942) 55-56-93
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека
Республика Татарстан, Казань городской округ, Казань, Советский
Аделя Кутуя, 68/2
Расположение на карте
санитарный день: последний пн месяца; зимний период: пн-вт, чт-пт, вс 9:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (843) 272-27-66
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Храм в честь Николая Чудотворца
Ханты-Мансийский автономный округ, Нижневартовский район, пгт Излучинск
Энергетиков, 1
Расположение на карте
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (3466) 28-62-20
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №12
Республика Хакасия, Абакан городской округ, Абакан
Богдана Хмельницкого, 156
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (3902) 22-47-16
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Дорожная научно-техническая библиотека
Челябинская область, Челябинский городской округ, Челябинск, Советский район
Свободы, 102
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Название и адрес
Режим работы
Телефон
Центральная библиотека им. М.Е. Салтыкова-Щедрина центрального округа
Новосибирская область, Новосибирск городской округ, Новосибирск, Заельцовский район, Линейный м-н
Красный проспект, 83
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 11:00-18:00
Сб: 11:00-18:00
 +7 (383) 226-48-10 +7 (383) 225-47-78
Показать номер
Название и адрес
Режим работы
Телефон
Сидоровская сельская библиотека
Новосибирская область, Колыванский район, с. Сидоровка
Советская, 28
Расположение на карте
Вт: 10:00-13:00
Ср: 10:00-13:00
Чт: 10:00-13:00
Пт: 10:00-13:00
Сб: 10:00-13:00
Вс: 10:00-13:00
 +7 (38352) 3-42-43
Показать номер
Название и адрес
Режим работы
Телефон
Научная библиотека, ТвГУ
Тверская область, Тверь городской округ, Тверь, Центральный район
Володарского, 44а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Название и адрес
Режим работы
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Орджоникидзевский район, Новобайдаевский м-н
Зорге, 6
Расположение на карте
санитарный день: последний рабочий день месяца; летний период: пн-пт 10:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-17:00
 +7 (3843) 34-22-79
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, пос. Мелиоративный
Республика Карелия, Прионежский район, пос. Мелиоративный
Петрозаводская, 22
Расположение на карте
Пн: 09:45-19:00
Вт: 09:45-19:00
Ср: 09:45-19:00
Чт: 09:45-19:00
Вс: 10:00-17:00
 +7 (8142) 78-74-35 +7 (8142) 78-76-20
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №7
Костромская область, Кострома городской округ, Кострома, Первомайский пос.
Боровая, 34
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (4942) 55-56-93
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека
Республика Татарстан, Казань городской округ, Казань, Советский
Аделя Кутуя, 68/2
Расположение на карте
санитарный день: последний пн месяца; зимний период: пн-вт, чт-пт, вс 9:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (843) 272-27-66
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Храм в честь Николая Чудотворца
Ханты-Мансийский автономный округ, Нижневартовский район, пгт Излучинск
Энергетиков, 1
Расположение на карте
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (3466) 28-62-20
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №12
Республика Хакасия, Абакан городской округ, Абакан
Богдана Хмельницкого, 156
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (3902) 22-47-16
Показать номер
Прикрепить файл