Алгоритм машинного поиска естественного логического вывода в исчислении высказываний
1358
Купить
Краткое содержание:
Экранизация книги

Алгоритм машинного поиска естественного логического вывода в исчислении высказываний

Авторы:
Давыдов Г.В.
Шанин Николай Александрович
Маслов С.Ю.
Год:
1965
Язык:
Русский
Страниц:
39
Описание:
Давыдов Г.В., Шанин Н.А., Николай Александрович, Маслов С.Ю. Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / Акад. наук СССР. Мат. ин-т им. В.А. Стеклова. Ленингр. отд-ние. - Москва ; Ленинград : Наука. [Ленингр. отд-ние], 1965. - 39 с. ; 26 см
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика
Примечания:
Перед загл. авт.: Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов и др.
Дата создания:
2021-08-30 08:10:33
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Алгоритм машинного поиска естественного логического вывода в исчислении высказываний

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

Реставрация Алгоритм машинного поиска естественного логического вывода в исчислении высказываний

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека ім. В.Г. Бєлінського
Харьковская область, Харьков, Шевченковский район
Данилевского, 34
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
belinskogo.kh.ua
 +380 (57) 705-19-90 +380 (57) 701-17-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №119 для дітей
Киев город со специальным статусом, Київ, Деснянський район, Лісовий масив
Маршала Жукова, 22
Расположение на карте
зимний период: пн-пт 10:00-18:00; сб 11:00-17:00; санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 518-52-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №12
Чуйская область, Ысык-Атинский район, д. Гидростроитель
Озёрная, 13
Расположение на карте
Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Сб: 08:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Нижний Бестях
Республика Саха (Якутия), Мегино-Кангаласский район, пгт Нижний Бестях
Ленина, 37
Расположение на карте
Пн: 09:00-13:00 14:00-17:30
Вт: 09:00-13:00 14:00-17:30
Ср: 09:00-13:00 14:00-17:30
Чт: 09:00-13:00 14:00-17:30
Пт: 09:00-13:00 14:00-17:30
Сб: 09:00-13:00
 +7 (41143) 4-72-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Краснослободская сельская библиотека
Нижегородская область, Бор городской округ, д. Красная Слобода
Центральная, 24
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Вс: 11:00-16:00
 +7 (83159) 3-11-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5
Саратовская область, Саратов городской округ, Саратов, Улеши
Заводская, 14
Расположение на карте
санитарный день: последняя пт месяца; июнь-август: вт-сб 10:00-20:00; вс выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 72-90-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Челябинская область, Челябинский городской округ, Челябинск, Калининский район
Механическая, 57
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.chelreglib.ru
Вконтакте:  https://vk.com/chelreglib
Инстаграм:  https://instagram.com/chel_lib
Facebook:  https://facebook.com/pages/челябинская-областная-универсальная-научная-библиотека/326427117410395
Твиттер:  https://twitter.com/@centrpravodelnf
Youtube:  https://youtube.com/user/Publichka74
 +7 (351) 772-15-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
РЖД, ОАО, техническая библиотека, Восточно-Сибирский центр научно-технической информации и библиотек ВСЖД
Иркутская область, Братский район, Вихоревка
Кошевого, 1а
Расположение на карте
Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00
 +7 (3953) 49-87-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Донская государственная публичная библиотека
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Кировский район
Пушкинская, 175а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.dspl.ru
Facebook:  https://facebook.com/dspl.ru
 +7 (863) 264-85-97 +7 (863) 264-93-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Гурьевская централизованная библиотечная система, МБУ
Калининградская область, Гурьевский городской округ, пос. Васильково
Шатурская, 35в
Расположение на карте
санитарный день: последняя пт месяца
Пн: 11:00-13:00 14:00-19:00
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-18:00
gurlib39.ru
 +7 (4012) 51-48-31
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека ім. В.Г. Бєлінського
Харьковская область, Харьков, Шевченковский район
Данилевского, 34
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
belinskogo.kh.ua
 +380 (57) 705-19-90 +380 (57) 701-17-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №119 для дітей
Киев город со специальным статусом, Київ, Деснянський район, Лісовий масив
Маршала Жукова, 22
Расположение на карте
зимний период: пн-пт 10:00-18:00; сб 11:00-17:00; санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 518-52-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №12
Чуйская область, Ысык-Атинский район, д. Гидростроитель
Озёрная, 13
Расположение на карте
Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Сб: 08:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Нижний Бестях
Республика Саха (Якутия), Мегино-Кангаласский район, пгт Нижний Бестях
Ленина, 37
Расположение на карте
Пн: 09:00-13:00 14:00-17:30
Вт: 09:00-13:00 14:00-17:30
Ср: 09:00-13:00 14:00-17:30
Чт: 09:00-13:00 14:00-17:30
Пт: 09:00-13:00 14:00-17:30
Сб: 09:00-13:00
 +7 (41143) 4-72-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Краснослободская сельская библиотека
Нижегородская область, Бор городской округ, д. Красная Слобода
Центральная, 24
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Вс: 11:00-16:00
 +7 (83159) 3-11-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5
Саратовская область, Саратов городской округ, Саратов, Улеши
Заводская, 14
Расположение на карте
санитарный день: последняя пт месяца; июнь-август: вт-сб 10:00-20:00; вс выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 72-90-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Челябинская область, Челябинский городской округ, Челябинск, Калининский район
Механическая, 57
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.chelreglib.ru
Вконтакте:  https://vk.com/chelreglib
Инстаграм:  https://instagram.com/chel_lib
Facebook:  https://facebook.com/pages/челябинская-областная-универсальная-научная-библиотека/326427117410395
Твиттер:  https://twitter.com/@centrpravodelnf
Youtube:  https://youtube.com/user/Publichka74
 +7 (351) 772-15-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
РЖД, ОАО, техническая библиотека, Восточно-Сибирский центр научно-технической информации и библиотек ВСЖД
Иркутская область, Братский район, Вихоревка
Кошевого, 1а
Расположение на карте
Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00
 +7 (3953) 49-87-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Донская государственная публичная библиотека
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Кировский район
Пушкинская, 175а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.dspl.ru
Facebook:  https://facebook.com/dspl.ru
 +7 (863) 264-85-97 +7 (863) 264-93-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Гурьевская централизованная библиотечная система, МБУ
Калининградская область, Гурьевский городской округ, пос. Васильково
Шатурская, 35в
Расположение на карте
санитарный день: последняя пт месяца
Пн: 11:00-13:00 14:00-19:00
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-18:00
gurlib39.ru
 +7 (4012) 51-48-31
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.