Automated deduction CADE-11 : Proceedings
1795
Купить
Краткое содержание:
Экранизация книги

Automated deduction CADE-11 : Proceedings

Год:
1992
isbn:
3-540-55602-8
Язык:
Английский
Страниц:
793
Заглавие серии:
Lecture notes in artificial intelligence . Subser. of Lecture notes in computer science ; 607
Описание:
Automated deduction CADE-11 : Proceedings / 11th Intern. conf. on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992; D. Kapur (ed.). - Berlin etc. : Springer-Verl., 1992. - XV, 793 с. : ил. ; 24 см. - (Lecture notes in artificial intelligence . Subser. of Lecture notes in computer science ; 607). - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Задачи → Решение на счетных машинах → Съезды, совещания и т. п.
Примечания:
Библиогр. в конце докл.
ББК:
В192.161с116я431(0)
Другие ответственные лица:
Kapur, Deepak → Редактор; Kapur, Deepak
Дата создания:
2021-09-08 10:03:06
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Automated deduction CADE-11 : Proceedings

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Automated deduction CADE-11 : Proceedings
Опросы
Эта книга оказалась полезной?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Automated deduction CADE-11 : Proceedings

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Брянского района
Брянская область, Брянский район, пос. Мичуринский
Берёзовая, 4
Расположение на карте
Пн: 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://twitter.com/@biblioteka7
Youtube:  https://youtube.com/channel/UCPpIj5fVTTR7LNqiZ_odmsQ
 +7 (4832) 91-18-21 +7 (4832) 91-18-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Свердловская областная универсальная научная библиотека им. В.Г. Белинского
Свердловская область, Екатеринбург городской округ, Екатеринбург, Октябрьский район, Центр
Белинского, 15
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 12:00-20:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club6745014
Facebook:  https://facebook.com/sverdlovsklibrary
Youtube:  https://youtube.com/channel/UCRrmw6hmxxu9cC7hGMeA7iQ
 +7 (343) 304-60-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Компьютерный мир, библиотека
Томская область, Томск городской округ, Томск, Кировский район
Красноармейская, 135
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 10:00-18:00; сб-вс выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (3822) 42-58-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МУК
Ярославская область, Ярославский район, Ярославль, Заволжский район, Резинотехника
Спартаковская, 17
Расположение на карте
сентябрь-апрель: вт-пт 11:00-19:00; сб-вс 10:00-18:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.clib.yar.ru
clib.yar.ru/kontakty/biblioteka-filial-18
Вконтакте:  https://vk.com/cbs_yar https://vk.com/filial18
Facebook:  https://facebook.com/197828793675165
Одноклассники:  https://ok.ru/group/52994641494119
Youtube:  https://youtube.com/channel/UC7UjH0onSman5PnMTTC8Vgg
 +7 (4852) 38-45-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грибоедова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Московское шоссе, 280
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-17:00
 +7 (831) 279-26-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Верх-Катунское
Алтайский край, Бийский район, с. Верх-Катунское
Ленина, 23Б
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (3854) 77-01-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3 им. А.П. Гайдара
Краснодарский край, Краснодар городской округ, Краснодар, Карасунский округ, Пашковский м-н
1 Мая, 67
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (861) 227-92-17 +7 (861) 227-50-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №34
Краснодарский край, Краснодар городской округ, пос. Лорис, Карасунский округ
Рязанская, 12
Расположение на карте
санитарный день: последняя пт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
neklib.kubannet.ru
 +7 (861) 251-37-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека
Краснодарский край, Усть-Лабинский район, Усть-Лабинск
Пролетарская, 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
biblio-ustlabinsk.info
 +7 (86135) 4-64-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, пос. Зеленый Бор
Красноярский край, Минусинск городской округ, Минусинск, Зелёный Бор
Журавлёва, 4
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 11:00-18:00
 +7 (39132) 9-20-02
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Брянского района
Брянская область, Брянский район, пос. Мичуринский
Берёзовая, 4
Расположение на карте
Пн: 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://twitter.com/@biblioteka7
Youtube:  https://youtube.com/channel/UCPpIj5fVTTR7LNqiZ_odmsQ
 +7 (4832) 91-18-21 +7 (4832) 91-18-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Свердловская областная универсальная научная библиотека им. В.Г. Белинского
Свердловская область, Екатеринбург городской округ, Екатеринбург, Октябрьский район, Центр
Белинского, 15
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 12:00-20:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club6745014
Facebook:  https://facebook.com/sverdlovsklibrary
Youtube:  https://youtube.com/channel/UCRrmw6hmxxu9cC7hGMeA7iQ
 +7 (343) 304-60-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Компьютерный мир, библиотека
Томская область, Томск городской округ, Томск, Кировский район
Красноармейская, 135
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 10:00-18:00; сб-вс выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (3822) 42-58-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МУК
Ярославская область, Ярославский район, Ярославль, Заволжский район, Резинотехника
Спартаковская, 17
Расположение на карте
сентябрь-апрель: вт-пт 11:00-19:00; сб-вс 10:00-18:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.clib.yar.ru
clib.yar.ru/kontakty/biblioteka-filial-18
Вконтакте:  https://vk.com/cbs_yar https://vk.com/filial18
Facebook:  https://facebook.com/197828793675165
Одноклассники:  https://ok.ru/group/52994641494119
Youtube:  https://youtube.com/channel/UC7UjH0onSman5PnMTTC8Vgg
 +7 (4852) 38-45-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грибоедова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Московское шоссе, 280
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-17:00
 +7 (831) 279-26-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Верх-Катунское
Алтайский край, Бийский район, с. Верх-Катунское
Ленина, 23Б
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (3854) 77-01-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3 им. А.П. Гайдара
Краснодарский край, Краснодар городской округ, Краснодар, Карасунский округ, Пашковский м-н
1 Мая, 67
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (861) 227-92-17 +7 (861) 227-50-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №34
Краснодарский край, Краснодар городской округ, пос. Лорис, Карасунский округ
Рязанская, 12
Расположение на карте
санитарный день: последняя пт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
neklib.kubannet.ru
 +7 (861) 251-37-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека
Краснодарский край, Усть-Лабинский район, Усть-Лабинск
Пролетарская, 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
biblio-ustlabinsk.info
 +7 (86135) 4-64-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, пос. Зеленый Бор
Красноярский край, Минусинск городской округ, Минусинск, Зелёный Бор
Журавлёва, 4
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 11:00-18:00
 +7 (39132) 9-20-02
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.