Automation of reasoning
823
Купить
Краткое содержание:
Экранизация книги

Automation of reasoning

Год:
1983; Связанные записи
Язык:
Английский
Заглавие серии:
Symbolic computation . Artificial intelligence
Описание:
Automation of reasoning / Ed. by Jörg Siekmann a. Graham Wrightson. - Berlin etc. : Springer-Verl., 1983. - 25 см. - (Symbolic computation . Artificial intelligence). - "Bibliogr. on computational logic" в конце томов
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Сборники
Примечания:
"Bibliogr. on computational logic" в конце томов
ББК:
В12я43(0) ; З813я43-1
Другие ответственные лица:
Siekmann, Jörg H. → Редактор
Дата создания:
2022-04-21 03:45:31
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Automation of reasoning
Опросы
была ли экранизация книги?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Automation of reasoning

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №154
Москва, Москва, Царицыно район
Медиков, 22 к3
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbsuao.ru
Инстаграм:  https://instagram.com/cbs_uao
Facebook:  https://facebook.com/bibliotekiugnogookruga
Твиттер:  https://twitter.com/@cbs_uao
Google plus:  https://plus.google.com/114348198312844758833
 +7 (495) 321-12-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11, г. Мытищи
Московская область, Мытищи городской округ, Мытищи, 30-й м-н
Институтская 2-я, 14
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-17:45
maukbic.ru
Вконтакте:  https://vk.com/biblioteka11mauk
 +7 (498) 680-65-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Уральское отделение РАН
Свердловская область, Екатеринбург городской округ, Екатеринбург, Кировский район, Втузгородок
Софьи Ковалевской, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-16:00
cnb.uran.ru
 +7 (343) 369-33-44 +7 (343) 374-49-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека для детей и взрослых
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Автозаводский район, Новый Город
25-й комплекс, 21
Расположение на карте
июнь-август: пн-пт 10:00-18:00; сб выходной; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 09:00-17:00
 +7 (8552) 56-36-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.П. Чкалова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Сормовский район
Гаугеля, 29а
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-18:00; вс 10:00-17: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
www.sormlib.nnov.ru
 +7 (831) 227-08-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Дудергоф, библиотека №6
Санкт-Петербург, Санкт-Петербург, Красносельский район, МО "г. Красное Село"
Театральная, 15
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (812) 741-42-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека микрорайона Тосно-2
Ленинградская область, Тосненский район, Тосно
Московское шоссе, 38
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 12:00-19:00
tosno.47lib.ru
Вконтакте:  https://vk.com/club115952966
 +7 (81361) 4-29-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр им. М.В. Ломоносова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, Сельмаш
Сельмаш проспект, 7а
Расположение на карте
санитарный день: первый пн месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_cbs
Инстаграм:  https://instagram.com/biblioteka_rostova
Facebook:  https://facebook.com/donlib.ru
Одноклассники:  https://ok.ru/donlib
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 223-75-69 +7 (863) 254-01-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Татарстан, Казань городской округ, Казань, Советский
Аделя Кутуя, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская городская библиотека
Калининградская область, Зеленоградский городской округ, Зеленоградск
Московская, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 09:00-18:00
 +7 (40150) 3-14-69
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №154
Москва, Москва, Царицыно район
Медиков, 22 к3
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbsuao.ru
Инстаграм:  https://instagram.com/cbs_uao
Facebook:  https://facebook.com/bibliotekiugnogookruga
Твиттер:  https://twitter.com/@cbs_uao
Google plus:  https://plus.google.com/114348198312844758833
 +7 (495) 321-12-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11, г. Мытищи
Московская область, Мытищи городской округ, Мытищи, 30-й м-н
Институтская 2-я, 14
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-17:45
maukbic.ru
Вконтакте:  https://vk.com/biblioteka11mauk
 +7 (498) 680-65-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Уральское отделение РАН
Свердловская область, Екатеринбург городской округ, Екатеринбург, Кировский район, Втузгородок
Софьи Ковалевской, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-16:00
cnb.uran.ru
 +7 (343) 369-33-44 +7 (343) 374-49-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека для детей и взрослых
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Автозаводский район, Новый Город
25-й комплекс, 21
Расположение на карте
июнь-август: пн-пт 10:00-18:00; сб выходной; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 09:00-17:00
 +7 (8552) 56-36-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.П. Чкалова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Сормовский район
Гаугеля, 29а
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-18:00; вс 10:00-17: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
www.sormlib.nnov.ru
 +7 (831) 227-08-27
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Дудергоф, библиотека №6
Санкт-Петербург, Санкт-Петербург, Красносельский район, МО "г. Красное Село"
Театральная, 15
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (812) 741-42-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека микрорайона Тосно-2
Ленинградская область, Тосненский район, Тосно
Московское шоссе, 38
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 12:00-19:00
tosno.47lib.ru
Вконтакте:  https://vk.com/club115952966
 +7 (81361) 4-29-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр им. М.В. Ломоносова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, Сельмаш
Сельмаш проспект, 7а
Расположение на карте
санитарный день: первый пн месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_cbs
Инстаграм:  https://instagram.com/biblioteka_rostova
Facebook:  https://facebook.com/donlib.ru
Одноклассники:  https://ok.ru/donlib
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 223-75-69 +7 (863) 254-01-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Татарстан, Казань городской округ, Казань, Советский
Аделя Кутуя, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская городская библиотека
Калининградская область, Зеленоградский городской округ, Зеленоградск
Московская, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 09:00-18:00
 +7 (40150) 3-14-69
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.