90 : Using sophisticated models in resolution theorem proving
728
Купить
Краткое содержание:
Экранизация книги

90 : Using sophisticated models in resolution theorem proving

Автор:
Sandford D. M.
Год:
1980
Язык:
Английский
Описание:
Sandford D. M. 90 , Using sophisticated models in resolution theorem proving / D. M. Sandford. - 1980
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Дата создания:
2021-08-27 11:51:53
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме 90 : Using sophisticated models in resolution theorem proving

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
90 : Using sophisticated models in resolution theorem proving
Опросы
Она устаревшая или актуальная?
Устарела
Актуальна
Не знаю
Содержание

Реставрация 90 : Using sophisticated models in resolution theorem proving

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепр, Амур-Нижнеднепровский район
Тульчинский переулок, 1
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-16:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека украинской литературы
Москва, Москва, Мещанский район
Трифоновская, 61 к1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Facebook:  https://facebook.com/bibliotekaukrainskoiliteraturi
 +7 (495) 631-38-30 +7 (495) 631-34-17 +7 (495) 631-40-95
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2, г. Жуковский
Московская область, Жуковский городской округ, Жуковский, Лацкова м-н
Лацкова, 12
Расположение на карте
Пн: 13:00-20:00
Вт: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Сб: 10:00-16:00
 +7 (49848) 2-36-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека искусств им. А.П. Боголюбова
Москва, Москва, Тверской район
Новослободская, 49
Расположение на карте
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
www.bogolublib.ru
Вконтакте:  https://vk.com/club4823460
Инстаграм:  https://instagram.com/biblioteka.iskusstv.bogolubova
Facebook:  https://facebook.com/362107250469012
Одноклассники:  https://ok.ru/bogolublib
Твиттер:  https://twitter.com/@bogolubovka
Youtube:  https://youtube.com/user/bogolubovlib
 +7 (499) 978-10-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №182
Москва, Москва, Котловка район
Дмитрия Ульянова, 43 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Facebook:  https://facebook.com/cbs.uzao
 +7 (499) 129-56-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека Томилино, МУК
Московская область, Люберцы городской округ, рп. Томилино
Пушкина, 55
Расположение на карте
санитарный день: последний день месяца
Вт: 10:30-18:00
Ср: 10:30-18:00
Чт: 10:30-18:00
Пт: 10:30-18:00
Сб: 10:30-17:00
tomlibrary.ru
 +7 (495) 557-51-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мир женщины, библиотека №41
Свердловская область, Екатеринбург городской округ, Екатеринбург, Орджоникидзевский район, Уралмаш
Донбасская, 20
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-18:00
 +7 (343) 333-45-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Сосновка
Пензенская область, Бессоновский район, с. Сосновка
Дорожная, 16
Расположение на карте
Вт: 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 (8412) 58-06-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Пархоменко, 3а
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 34-79-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Новогеоргиевка
Кемеровская область, Ленинск-Кузнецкий район, д. Новогеоргиевка
Молодёжная, 29
Расположение на карте
Вт: 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
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепр, Амур-Нижнеднепровский район
Тульчинский переулок, 1
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-16:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека украинской литературы
Москва, Москва, Мещанский район
Трифоновская, 61 к1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Facebook:  https://facebook.com/bibliotekaukrainskoiliteraturi
 +7 (495) 631-38-30 +7 (495) 631-34-17 +7 (495) 631-40-95
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2, г. Жуковский
Московская область, Жуковский городской округ, Жуковский, Лацкова м-н
Лацкова, 12
Расположение на карте
Пн: 13:00-20:00
Вт: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Сб: 10:00-16:00
 +7 (49848) 2-36-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека искусств им. А.П. Боголюбова
Москва, Москва, Тверской район
Новослободская, 49
Расположение на карте
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
www.bogolublib.ru
Вконтакте:  https://vk.com/club4823460
Инстаграм:  https://instagram.com/biblioteka.iskusstv.bogolubova
Facebook:  https://facebook.com/362107250469012
Одноклассники:  https://ok.ru/bogolublib
Твиттер:  https://twitter.com/@bogolubovka
Youtube:  https://youtube.com/user/bogolubovlib
 +7 (499) 978-10-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №182
Москва, Москва, Котловка район
Дмитрия Ульянова, 43 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Facebook:  https://facebook.com/cbs.uzao
 +7 (499) 129-56-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека Томилино, МУК
Московская область, Люберцы городской округ, рп. Томилино
Пушкина, 55
Расположение на карте
санитарный день: последний день месяца
Вт: 10:30-18:00
Ср: 10:30-18:00
Чт: 10:30-18:00
Пт: 10:30-18:00
Сб: 10:30-17:00
tomlibrary.ru
 +7 (495) 557-51-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мир женщины, библиотека №41
Свердловская область, Екатеринбург городской округ, Екатеринбург, Орджоникидзевский район, Уралмаш
Донбасская, 20
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-18:00
 +7 (343) 333-45-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Сосновка
Пензенская область, Бессоновский район, с. Сосновка
Дорожная, 16
Расположение на карте
Вт: 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 (8412) 58-06-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Пархоменко, 3а
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 34-79-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Новогеоргиевка
Кемеровская область, Ленинск-Кузнецкий район, д. Новогеоргиевка
Молодёжная, 29
Расположение на карте
Вт: 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
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.