Методы машинного поиска доказательств в исчислении предикатов первого порядка : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
630
Купить
Краткое содержание:
Экранизация книги

Методы машинного поиска доказательств в исчислении предикатов первого порядка : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Автор:
Лялецкий Александр Вадимович
Год:
1982
Язык:
Русский
Страниц:
23
Описание:
Лялецкий А.В. Методы машинного поиска доказательств в исчислении предикатов первого порядка : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). - Киев, 1982. - 23 с. - Библиогр.: с. 22-23 (10 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
В надзаг.: АН УССР, Ин-т кибернетики . - Библиогр.: с. 22-23 (10 назв.)
Дата создания:
2022-03-02 08:34:30
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Методы машинного поиска доказательств в исчислении предикатов первого порядка : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Реставрация Методы машинного поиска доказательств в исчислении предикатов первого порядка : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна районна бібліотека ім. П.А. Загребельного
Киев город со специальным статусом, Київ, Деснянський район, Вигурівщина-Троєщина
Теодора Драйзера, 6
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Вс: 10:00-18:00
 +380 (44) 546-90-45 +380 (44) 546-90-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №98
Москва, Москва, Новогиреево район
Зелёный проспект, 87 к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
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
Твиттер:  https://twitter.com/@cbsvao
Youtube:  https://youtube.com/channel/UC2C404_ri2uHkILBNilqyAg/featured
 +7 (495) 302-72-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.Г. Белинского
Республика Саха (Якутия), Якутск городской округ, Якутск, Промышленный округ, Рабочий Городок
Фёдора Попова, 18
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
www.belinka-lib.ru
Инстаграм:  https://instagram.com/belinka_ykt
 +7 (4112) 215-835 +7 (4112) 21-18-91 +7 (4112) 21-07-32 +7 (4112) 21-48-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №6 им. Е.А. Никонова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район, Бурнаковский
Куйбышева, 13
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00
 +7 (831) 241-17-98
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна районна бібліотека ім. П.А. Загребельного
Киев город со специальным статусом, Київ, Деснянський район, Вигурівщина-Троєщина
Теодора Драйзера, 6
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Вс: 10:00-18:00
 +380 (44) 546-90-45 +380 (44) 546-90-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №98
Москва, Москва, Новогиреево район
Зелёный проспект, 87 к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
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
Твиттер:  https://twitter.com/@cbsvao
Youtube:  https://youtube.com/channel/UC2C404_ri2uHkILBNilqyAg/featured
 +7 (495) 302-72-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.Г. Белинского
Республика Саха (Якутия), Якутск городской округ, Якутск, Промышленный округ, Рабочий Городок
Фёдора Попова, 18
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
www.belinka-lib.ru
Инстаграм:  https://instagram.com/belinka_ykt
 +7 (4112) 215-835 +7 (4112) 21-18-91 +7 (4112) 21-07-32 +7 (4112) 21-48-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №6 им. Е.А. Никонова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район, Бурнаковский
Куйбышева, 13
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00
 +7 (831) 241-17-98
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.