Higher-order algebra, logic, and term rewriting
1144
Купить
Краткое содержание:
Экранизация книги

Higher-order algebra, logic, and term rewriting

Год:
Cop.1994
Язык:
Английский
Описание:
816: , Higher-order algebra, logic, and term rewriting. - Cop.1994
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Дата создания:
2020-10-25 17:55:58
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Higher-order algebra, logic, and term rewriting

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Higher-order algebra, logic, and term rewriting
Опросы
Является ли она узкоспециализированной?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Higher-order algebra, logic, and term rewriting

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек г. Шымкента, ГУ
Туркестанская область, Шымкент, Енбекшинский район, Сайрам ж/м
Абдулла Абад, 82/7
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
 +7 (7252) 30-04-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №140
Москва, Москва, Бирюлёво Восточное район
Липецкая, 54 к1 ст2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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://vk.com/biblioteka140uao
 +7 (495) 329-25-14 +7 (495) 329-21-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Климовка
Самарская область, Шигонский район, с. Климовка
Новая, 15
Расположение на карте
Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Название и адрес
Режим работы
Контактная информация
Телефон
Анапская сельская библиотека
Краснодарский край, Анапа городской округ, ст-ца Анапская
Школьная, 60
Расположение на карте
санитарный день: последняя пт месяца
Пн: 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 (86133) 7-18-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека им. А.П. Чехова
Приморский край, Владивостокский городской округ, Владивосток, Первореченский район
100-летия Владивостока проспект, 48
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/pages/мбук-владивостокская-централизованная-библиотечная-система/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 236-13-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №10
Челябинская область, Челябинский городской округ, Челябинск, Курчатовский район
Комсомольский проспект, 41
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
Вс: 10:00-17:00
 +7 (351) 742-07-82 +7 (351) 742-08-81 +7 (351) 742-07-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Черепановская централизованная библиотечная система, МКУ, филиал в г. Черепаново
Новосибирская область, Черепановский район, Черепаново
Заводская, 20
Расположение на карте
зимний период: пн-чт 9:00-18:00; пт 9:00-17:00; сб 9:00-15:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/id226365995
 +7 (38345) 4-53-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, Государственный Эрмитаж
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Дворцовая набережная, 36
Расположение на карте
санитарный день: последняя пт месяца; нерабочие месяцы: июль-октябрь
Вт: 13:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-16:30
 +7 (812) 710-96-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3 им. А.П. Гайдара
Краснодарский край, Краснодар городской округ, Краснодар, Карасунский округ, Пашковский м-н
1 Мая, 67
Расположение на карте
санитарный день: последняя ср месяца
Пн: 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 (861) 227-92-17 +7 (861) 227-50-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Забайкальский край, Чита городской округ, Чита, Ингодинский район, Антипиха пос.
Боровая, 8
Расположение на карте
санитарный день: последний день месяца
Пн: 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
Вс: 09:00-13:00 14:00-18:00
 +7 (3022) 33-91-28
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек г. Шымкента, ГУ
Туркестанская область, Шымкент, Енбекшинский район, Сайрам ж/м
Абдулла Абад, 82/7
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
 +7 (7252) 30-04-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №140
Москва, Москва, Бирюлёво Восточное район
Липецкая, 54 к1 ст2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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://vk.com/biblioteka140uao
 +7 (495) 329-25-14 +7 (495) 329-21-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Климовка
Самарская область, Шигонский район, с. Климовка
Новая, 15
Расположение на карте
Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Название и адрес
Режим работы
Контактная информация
Телефон
Анапская сельская библиотека
Краснодарский край, Анапа городской округ, ст-ца Анапская
Школьная, 60
Расположение на карте
санитарный день: последняя пт месяца
Пн: 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 (86133) 7-18-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека им. А.П. Чехова
Приморский край, Владивостокский городской округ, Владивосток, Первореченский район
100-летия Владивостока проспект, 48
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/pages/мбук-владивостокская-централизованная-библиотечная-система/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 236-13-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №10
Челябинская область, Челябинский городской округ, Челябинск, Курчатовский район
Комсомольский проспект, 41
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
Вс: 10:00-17:00
 +7 (351) 742-07-82 +7 (351) 742-08-81 +7 (351) 742-07-81
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Черепановская централизованная библиотечная система, МКУ, филиал в г. Черепаново
Новосибирская область, Черепановский район, Черепаново
Заводская, 20
Расположение на карте
зимний период: пн-чт 9:00-18:00; пт 9:00-17:00; сб 9:00-15:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/id226365995
 +7 (38345) 4-53-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, Государственный Эрмитаж
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Дворцовая набережная, 36
Расположение на карте
санитарный день: последняя пт месяца; нерабочие месяцы: июль-октябрь
Вт: 13:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-16:30
 +7 (812) 710-96-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3 им. А.П. Гайдара
Краснодарский край, Краснодар городской округ, Краснодар, Карасунский округ, Пашковский м-н
1 Мая, 67
Расположение на карте
санитарный день: последняя ср месяца
Пн: 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 (861) 227-92-17 +7 (861) 227-50-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Забайкальский край, Чита городской округ, Чита, Ингодинский район, Антипиха пос.
Боровая, 8
Расположение на карте
санитарный день: последний день месяца
Пн: 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
Вс: 09:00-13:00 14:00-18:00
 +7 (3022) 33-91-28
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.