Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .
1293
Купить
Краткое содержание:
Экранизация книги

Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .

Год:
cop. 1994
isbn:
3-540-58450-1
Язык:
–
Перевод заглавия:
Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .
Заглавие серии:
Lecture notes in computer science ; 859
Описание:
Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings / Thomas F. Melham, Juanito Camilleri (eds.). - Berlin etc. : Springer-Verl., cop. 1994. - IX, 470 c. : ил. ; 24 см. - (Lecture notes in computer science ; 859). - Библиогр. в конце докл
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Другие ответственные лица:
Melham, Thomas F. → Редактор
Дата создания:
2022-02-05 08:09:29
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .
Опросы
Можно ли прочитать книгу за неделю?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепровский городской совет, Днепр, Чечеловский район
Рабочая, 24а
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Дъектиек
Республика Алтай, Шебалинский район, с. Дъектиек
Центральная, 19
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центр социально-политической истории, Государственная публичная историческая библиотека России
Москва, Москва, Ростокино район
Вильгельма Пика, 4 к2
зимний период: пн 10:00-18:00; вт-чт 10:00-20: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
www.shpl.ru
Вконтакте:  https://vk.com/club43509875
Facebook:  https://facebook.com/189599041116894
 +7 (499) 187-95-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-читальня им. А.С. Пушкина
Москва, Москва, Басманный район
Спартаковская, 9 ст1
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
pushkinmoslib.ru
Вконтакте:  https://vk.com/public52075796
 +7 (499) 261-35-05 +7 (499) 267-56-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-35-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Э.Э. Баллиона
Краснодарский край, Новороссийск городской округ, Новороссийск, Центральный район
Советов, 44
санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.ballion.ru
Вконтакте:  https://vk.com/novorossbiblioteka
Инстаграм:  https://instagram.com/ballion23
Твиттер:  https://twitter.com/@ballionbbk
 +7 (8617) 64-55-32 +7 (8617) 64-42-24 +7 (8617) 61-31-26 +7 (8617) 61-16-99 +7 (8617) 61-00-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Молодежный КОД Библиотека Искусств, Библиотека -филиал № 24
Республика Удмуртия, Ижевск городской округ, Ижевск, Первомайский район, Соцгород
Воровского, 108
июль-сентябрь: пн-пт 10:00-18:00; вс выходной; санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club52751666
 +7 (3412) 66-10-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4 им. В.В. Маяковского
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Городские Горки
Лебедева, 38
санитарный день: последний день месяца; зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
 +7 (342) 207-50-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район, 9-й микрорайон
Николая Шишка, 3
санитарный день: последний пн месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 10:00-18:00
www.ogbmagnitka.ru
Вконтакте:  https://vk.com/club63305143
 +7 (3519) 20-78-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Черногорск
Республика Хакасия, Черногорск городской округ, Черногорск, Крепость
Генерала Тихонова, 19
санитарный день: последний чт месяца
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-18:00
chernbib.ru/
 +7 (39031) 3-68-77
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепровский городской совет, Днепр, Чечеловский район
Рабочая, 24а
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Дъектиек
Республика Алтай, Шебалинский район, с. Дъектиек
Центральная, 19
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Центр социально-политической истории, Государственная публичная историческая библиотека России
Москва, Москва, Ростокино район
Вильгельма Пика, 4 к2
зимний период: пн 10:00-18:00; вт-чт 10:00-20: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
www.shpl.ru
Вконтакте:  https://vk.com/club43509875
Facebook:  https://facebook.com/189599041116894
 +7 (499) 187-95-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-читальня им. А.С. Пушкина
Москва, Москва, Басманный район
Спартаковская, 9 ст1
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
pushkinmoslib.ru
Вконтакте:  https://vk.com/public52075796
 +7 (499) 261-35-05 +7 (499) 267-56-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-35-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Э.Э. Баллиона
Краснодарский край, Новороссийск городской округ, Новороссийск, Центральный район
Советов, 44
санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.ballion.ru
Вконтакте:  https://vk.com/novorossbiblioteka
Инстаграм:  https://instagram.com/ballion23
Твиттер:  https://twitter.com/@ballionbbk
 +7 (8617) 64-55-32 +7 (8617) 64-42-24 +7 (8617) 61-31-26 +7 (8617) 61-16-99 +7 (8617) 61-00-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Молодежный КОД Библиотека Искусств, Библиотека -филиал № 24
Республика Удмуртия, Ижевск городской округ, Ижевск, Первомайский район, Соцгород
Воровского, 108
июль-сентябрь: пн-пт 10:00-18:00; вс выходной; санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/club52751666
 +7 (3412) 66-10-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4 им. В.В. Маяковского
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Городские Горки
Лебедева, 38
санитарный день: последний день месяца; зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
 +7 (342) 207-50-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район, 9-й микрорайон
Николая Шишка, 3
санитарный день: последний пн месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 10:00-18:00
www.ogbmagnitka.ru
Вконтакте:  https://vk.com/club63305143
 +7 (3519) 20-78-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Черногорск
Республика Хакасия, Черногорск городской округ, Черногорск, Крепость
Генерала Тихонова, 19
санитарный день: последний чт месяца
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-18:00
chernbib.ru/
 +7 (39031) 3-68-77
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.