Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types
2049
Купить
Краткое содержание:
Экранизация книги

Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types

Автор:
Ануреев Игорь Сергеевич
Год:
1998
Язык:
Русский
Страниц:
43
Заглавие серии:
Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 53
Описание:
Ануреев И. С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types / И. С. Ануреев. - Новосибирск : Ин-т систем информатики, 1998. - 43 с. ; 21 см. - (Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 53). - Библиогр.: с. 43
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Автоматические доказательства → Системы переписывния формул
Примечания:
Авт. также на англ. яз.: I.S. Anureev . - Библиогр.: с. 43
Дата создания:
2022-02-20 04:22:51
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types
Опросы
Она написана малоизвестным автором?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Октябрьский район
Восток 3-й микрорайон, 14
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (7212) 78-51-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека №104
Москва, Москва, Рязанский район
Новокузьминская 1-я, 16 к2
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 371-19-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №32
Москва, Москва, Аэропорт район
Степана Супруна, 12 к3
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbssao.ru
Facebook:  https://facebook.com/bib36
 +7 (495) 612-43-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
санитарный день: первая ср месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-37-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №14 им. митрополита Макария
Белгородская область, Старооскольский городской округ, Старый Оскол
Ленина, 35
Расположение на карте
Пн: 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 (4725) 22-56-77 +7 (4725) 22-57-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №19
Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Ташкентская, 95а
Расположение на карте
санитарный день: 1, 16 числа месяца
Пн: 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 (4932) 23-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Приморский край, Владивостокский городской округ, Владивосток, Первомайский район
Калинина, 281
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 227-37-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №33
Республика Башкортостан, Уфа городской округ, Уфа, Калининский район, Черниковка
Первомайская, 27
Расположение на карте
зимний период: вт-сб 10:00-18:00; санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (347) 242-89-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Степной
Старцева, 9а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Вс: 12:00-17:00
www.rcbs-nmr.kuzreg.ru
 +7 (3843) 55-72-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №18
Калининградская область, Калининград городской округ, Калининград, Московский район
Машиностроительная, 166
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4012) 39-58-66
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Октябрьский район
Восток 3-й микрорайон, 14
Расположение на карте
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (7212) 78-51-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека №104
Москва, Москва, Рязанский район
Новокузьминская 1-я, 16 к2
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 371-19-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №32
Москва, Москва, Аэропорт район
Степана Супруна, 12 к3
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
cbssao.ru
Facebook:  https://facebook.com/bib36
 +7 (495) 612-43-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
санитарный день: первая ср месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-37-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №14 им. митрополита Макария
Белгородская область, Старооскольский городской округ, Старый Оскол
Ленина, 35
Расположение на карте
Пн: 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 (4725) 22-56-77 +7 (4725) 22-57-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №19
Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Ташкентская, 95а
Расположение на карте
санитарный день: 1, 16 числа месяца
Пн: 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 (4932) 23-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Приморский край, Владивостокский городской округ, Владивосток, Первомайский район
Калинина, 281
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 227-37-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №33
Республика Башкортостан, Уфа городской округ, Уфа, Калининский район, Черниковка
Первомайская, 27
Расположение на карте
зимний период: вт-сб 10:00-18:00; санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (347) 242-89-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Степной
Старцева, 9а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Вс: 12:00-17:00
www.rcbs-nmr.kuzreg.ru
 +7 (3843) 55-72-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №18
Калининградская область, Калининград городской округ, Калининград, Московский район
Машиностроительная, 166
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4012) 39-58-66
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.