Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

2796

Купить

Краткое содержание:

Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Name: Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.
Rating: 4.5
ISBN: 3-540-58233-9

Год:

cop. 1994

isbn:

3-540-58233-9

Язык:

–

Перевод заглавия:

Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заглавие серии:

Lecture notes in computer science ; 816

Описание:

Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers / Jan Heering et al. (eds.). - Berlin etc. : Springer-Verl., cop. 1994. - [4], 344c. : ил. ; 23 см. - (Lecture notes in computer science ; 816)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Cчетные машины электронные → Программирование логическое → Съезды,совещания и т.п.; Алгебра → Съезды,совещания и т.п.

Примечания:

Библиогр. в конце докл

Другие ответственные лица:

Heering, Jan et al. → Редактор

Дата создания:

2021-05-01 15:25:51

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Молодежная библиотека №1, г. Елабуга

Республика Татарстан, Елабужский район, Елабуга
Казанская, 15
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

+7 (85557) 7-95-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская сельская библиотека №5

Краснодарский край, Геленджик городской округ, с. Архипо-Осиповка
Рабочая, 31а
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

+7 (86141) 6-03-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
Расположение на карте

зимний период: вс 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.cbs-angarsk.ru

+7 (3955) 67-83-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека №4

Вологодская область, Вологда городской округ, с. Молочное
Мира, 7
Расположение на карте

зимний период: вт-сб 11:00-19:00; санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00

cbs-vologda.ru

+7 (8172) 52-55-64

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Батенинская библиотека, Выборгский район

Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №12 "Сампсониевское"
Харченко, 17
Расположение на карте

зимний период: пн-пт 13:00-20:00; сб 10:00-18:00; санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00

Вконтакте: https://vk.com/biblioteka_2

+7 (812) 295-51-21

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. П. Комарова

Хабаровский край, Хабаровск городской округ, Хабаровск, Центральный район
Амурский бульвар, 36
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00

hab-csmb.ru
Вконтакте: https://vk.com/biblio_hab
Одноклассники: https://ok.ru/group53914309492834?st._aid=grouptopiclayer_visitprofile

+7 (4212) 32-57-30 +7 (4212) 32-75-36

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, г. Ишимбай

Республика Башкортостан, Ишимбайский район, Ишимбай, Перегонный
Павлика Морозова, 7
Расположение на карте

Ср: 09:00-15:00
Пт: 09:00-15:00

+7 (34794) 7-88-68

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Республика Адыгея, Тахтамукайский район, пгт Энем
Фрунзе, 7
Расположение на карте

Пн: 10:00-13:00 13:48-18:00
Вт: 10:00-13:00 13:48-18:00
Ср: 10:00-13:00 13:48-18:00
Чт: 10:00-13:00 13:48-18:00
Пт: 10:00-13:00 13:48-18:00
Сб: 10:00-13:00 13:48-18:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Чепчуги

Республика Татарстан, Высокогорский район, с. Чепчуги
Советская, 10Б
Расположение на карте

Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
Вс: 12:00-18:00

+7 (84365) 7-47-82

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 26-й микрорайон
Доваторцев, 44/1
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 77-23-01

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Молодежная библиотека №1, г. Елабуга

Республика Татарстан, Елабужский район, Елабуга
Казанская, 15
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00

+7 (85557) 7-95-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская сельская библиотека №5

Краснодарский край, Геленджик городской округ, с. Архипо-Осиповка
Рабочая, 31а
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

+7 (86141) 6-03-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
Расположение на карте

www.cbs-angarsk.ru

+7 (3955) 67-83-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека №4

Вологодская область, Вологда городской округ, с. Молочное
Мира, 7
Расположение на карте

cbs-vologda.ru

+7 (8172) 52-55-64

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Батенинская библиотека, Выборгский район

Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №12 "Сампсониевское"
Харченко, 17
Расположение на карте

Вконтакте: https://vk.com/biblioteka_2

+7 (812) 295-51-21

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. П. Комарова

санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00

hab-csmb.ru
Вконтакте: https://vk.com/biblio_hab
Одноклассники: https://ok.ru/group53914309492834?st._aid=grouptopiclayer_visitprofile

+7 (4212) 32-57-30 +7 (4212) 32-75-36

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, г. Ишимбай

Республика Башкортостан, Ишимбайский район, Ишимбай, Перегонный
Павлика Морозова, 7
Расположение на карте

Ср: 09:00-15:00
Пт: 09:00-15:00

+7 (34794) 7-88-68

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Республика Адыгея, Тахтамукайский район, пгт Энем
Фрунзе, 7
Расположение на карте

Пн: 10:00-13:00 13:48-18:00
Вт: 10:00-13:00 13:48-18:00
Ср: 10:00-13:00 13:48-18:00
Чт: 10:00-13:00 13:48-18:00
Пт: 10:00-13:00 13:48-18:00
Сб: 10:00-13:00 13:48-18:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Чепчуги

Республика Татарстан, Высокогорский район, с. Чепчуги
Советская, 10Б
Расположение на карте

Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
Вс: 12:00-18:00

+7 (84365) 7-47-82

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 77-23-01

Показать номер