Математическая логика и автоматическое доказательство теорем
969
Купить
Краткое содержание:
Экранизация книги

Математическая логика и автоматическое доказательство теорем

Автор:
Чень Ч.; Тян-Ли Р. (псевдоним)
Год:
1983
Язык:
Русский
Страниц:
358
Заглавие серии:
Математическая логика и основания математики
Описание:
Чень Ч., Тян-Ли Р. Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Перевод с англ. Г.В. Давыдова и др. Под ред. С.Ю. Маслова. - М. : Наука, 1983. - 358 с. ; 22 см. - (Математическая логика и основания математики). - Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов . - Перевод изд.: Syribolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973) . - Библиогр.: с. 333-349 . - Библиогр. в конце глав . - Алф. указ.: с. 350-358
Дата создания:
2021-08-09 23:43:27
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Математическая логика и автоматическое доказательство теорем

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Математическая логика и автоматическое доказательство теорем
Опросы
Укажите тип книги
Художеств.
Документальные
Учебные
Научные
Производственно-технические
Программно-методические
Справочные
Агитационно-пропагандистские
Научно-популярные
Инструктивные
Не знаю
Содержание

Реставрация Математическая логика и автоматическое доказательство теорем

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Калужская область, Калуга городской округ, Калуга, Октябрьский округ, Ольговский
Ольговская, 17
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 11:00-17:00
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-17:00
Пт: 11:00-17:00
 +7 (4842) 51-79-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека с. Выльгорт
Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте
зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
syktyvdincbs.ru
Вконтакте:  https://vk.com/syktyvdincdb
 +7 (82130) 7-10-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Усть-Сема
Республика Алтай, Чемальский район, пос. Усть-Сема
Зелёная, 2
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №23
Свердловская область, Екатеринбург городской округ, Екатеринбург, Чкаловский район, Уктус
Короткий переулок, 12
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-18:00
Вконтакте:  https://vk.com/bibl23ekb
 +7 (343) 210-77-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Билимбаевская, 33
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 09:00-18:00
Вконтакте:  https://vk.com/bibl15ekb
Facebook:  https://facebook.com/bibl15ekb/ или www.facebook.com/LibraryCenterFamilyWorld
 +7 (343) 322-81-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская централизованная библиотека №14
Хабаровский край, Комсомольск-на-Амуре городской округ, Комсомольск-на-Амуре, Центральный округ, 66-й квартал
Юности бульвар, 2
Расположение на карте
зимний период: пн-пт 10:00-19: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
Вс: 10:00-18:00
 +7 (4217) 53-63-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. К.И. Чуковского
Красноярский край, Красноярск городской округ, Красноярск, Советский район, Зелёная Роща
Металлургов проспект, 20а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вконтакте:  https://vk.com/club94725560
 +7 (391) 224-62-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека им. А.С. Пушкина
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №79 "Литейный"
Маяковского, 27
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
www.pushkinlib.spb.ru
Вконтакте:  https://vk.com/det_bibka_in_lit
Инстаграм:  https://instagram.com/pushkin_lib
 +7 (812) 273-05-31 +7 (812) 273-96-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район, 20-й А квартал
Ключевская, 94
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbs-uu.ru
cbs-ulan-ude.ru
Вконтакте:  https://vk.com/bibl_kalashnikov
Facebook:  https://facebook.com/1587033464888844
 +7 (3012) 41-01-05
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Калужская область, Калуга городской округ, Калуга, Октябрьский округ, Ольговский
Ольговская, 17
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 11:00-17:00
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-17:00
Пт: 11:00-17:00
 +7 (4842) 51-79-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека с. Выльгорт
Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте
зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
syktyvdincbs.ru
Вконтакте:  https://vk.com/syktyvdincdb
 +7 (82130) 7-10-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Усть-Сема
Республика Алтай, Чемальский район, пос. Усть-Сема
Зелёная, 2
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №23
Свердловская область, Екатеринбург городской округ, Екатеринбург, Чкаловский район, Уктус
Короткий переулок, 12
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-18:00
Вконтакте:  https://vk.com/bibl23ekb
 +7 (343) 210-77-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Билимбаевская, 33
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 09:00-18:00
Вконтакте:  https://vk.com/bibl15ekb
Facebook:  https://facebook.com/bibl15ekb/ или www.facebook.com/LibraryCenterFamilyWorld
 +7 (343) 322-81-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская централизованная библиотека №14
Хабаровский край, Комсомольск-на-Амуре городской округ, Комсомольск-на-Амуре, Центральный округ, 66-й квартал
Юности бульвар, 2
Расположение на карте
зимний период: пн-пт 10:00-19: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
Вс: 10:00-18:00
 +7 (4217) 53-63-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. К.И. Чуковского
Красноярский край, Красноярск городской округ, Красноярск, Советский район, Зелёная Роща
Металлургов проспект, 20а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вконтакте:  https://vk.com/club94725560
 +7 (391) 224-62-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека им. А.С. Пушкина
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №79 "Литейный"
Маяковского, 27
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
www.pushkinlib.spb.ru
Вконтакте:  https://vk.com/det_bibka_in_lit
Инстаграм:  https://instagram.com/pushkin_lib
 +7 (812) 273-05-31 +7 (812) 273-96-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район, 20-й А квартал
Ключевская, 94
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbs-uu.ru
cbs-ulan-ude.ru
Вконтакте:  https://vk.com/bibl_kalashnikov
Facebook:  https://facebook.com/1587033464888844
 +7 (3012) 41-01-05
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.