Explanation-based transformation of logic programs : Diss.

1478

Купить

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

Экранизация книги

Explanation-based transformation of logic programs : Diss.

Name: Explanation-based transformation of logic programs : Diss.
Rating: 4.5
ISBN: 91-7153-167-X

Автор:

Boström Henrik

Год:

1993

isbn:

91-7153-167-X

Язык:

Английский

Страниц:

178

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

Report series / Stockholm univ., Roy. Inst. of technology. Dep. of computer a. systems sciences ; N 93-029 [1101-8526]

Описание:

Boström H. Explanation-based transformation of logic programs : [Diss.] / Henrik Boström. - Stockholm : Dep. of the computer a. systems sciences, 1993. - [7], 178 с. : ил. ; 24 см. - (Report series / Stockholm univ., Roy. Inst. of technology. Dep. of computer a. systems sciences ; N 93-029 [1101-8526]). - Библиогр.: с. 167-178

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

4.5

Материалы:

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

Рубрики:

Счетные машины электронные → Программирование логическое

Примечания:

Библиогр.: с. 167-178

ББК:

З973.23-018

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

2022-03-24 03:10:29

Соц. сети:

Важно

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

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

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

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

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

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

Режим работы

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

Телефон

Библиотека, ЗИЛ

Москва, Москва, Даниловский район
Восточная, 4 к1
Расположение на карте

Пн: 11:00-21:00
Вт: 11:00-21:00
Ср: 11:00-21:00
Чт: 11:00-21:00
Пт: 11:00-21:00
Сб: 11:00-19:00
Вс: 11:00-19:00

+7 (495) 675-16-36

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

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

Режим работы

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

Телефон

Объединение детских библиотек, МБУК

Самарская область, Тольятти городской округ, Тольятти, Центральный район, 112-й квартал
50 лет Октября бульвар, 55
Расположение на карте

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

child-lib.ru
Вконтакте: https://vk.com/odb_tol
Инстаграм: https://instagram.com/odb_tol
Одноклассники: https://ok.ru/odbtol
Твиттер: https://twitter.com/@odb_tol
Youtube: https://youtube.com/user/odbobmi

+7 (8482) 22-06-89

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

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

Режим работы

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

Телефон

Библиотека №16

Тамбовская область, Тамбов городской округ, Тамбов, Ленинский округ
Первомайская площадь, 28
Расположение на карте

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

www.cls-tambov.ru
Вконтакте: https://vk.com/club53413987

+7 (4752) 75-02-36

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК

Тульская область, Донской городской округ, Донской, Северо-Задонск
Горького, 6
Расположение на карте

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

biblioteka-don.ru

+7 (48746) 7-11-47

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

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

Режим работы

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

Телефон

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

Республика Дагестан, Махачкала городской округ, Махачкала, Советский район
Абдулхакима Исмаилова, 46
Расположение на карте

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

Инстаграм: https://instagram.com/biblio_kids_f9
Facebook: https://facebook.com/profile.php?id=100008972115503&hc_ref=SEARCH&fref=nf

+7 (8722) 63-79-74

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

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

Режим работы

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

Телефон

Библиотека №25

Саратовская область, Саратов городской округ, Саратов, Фрунзенский район
Шелковичная, 130
Расположение на карте

санитарный день: последняя пт месяца; июнь-август: вс-пн выходной
Вт: 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 (8452) 51-50-77

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

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

Режим работы

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

Телефон

Библиотека, пос.Вольновка

Саратовская область, Саратовский район, пос. Вольновка
Школьная, 10
Расположение на карте

Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Вс: 15:00-16:30

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

Режим работы

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

Телефон

Детская библиотека №6 им. В.В. Бианки

Пермский край, Пермь городской округ, Пермь, Индустриальный район, Балатово
Мира, 80а
Расположение на карте

санитарный день: последний день месяца; июнь-август: пн-пт 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

+7 (342) 207-51-02

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

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

Режим работы

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

Телефон

Владимирская областная библиотека для детей и молодежи

Владимирская область, Владимир городской округ, Владимир, Октябрьский район
Мира, 51
Расположение на карте

зимний период: пн-вт, чт-пт 9:00-18:00; ср 9:00-19:00; сб-вс выходной
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-20:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Вс: 10:00-18:00

detmobib.ru
Вконтакте: https://vk.com/club34439529
Facebook: https://facebook.com/detmobib

+7 (4922) 333-700

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

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

Режим работы

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

Телефон

Туркинская детская библиотека

Республика Бурятия, Прибайкальский район, с. Турка
Октябрьская, 18
Расположение на карте

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

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

Режим работы

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

Телефон

Библиотека, ЗИЛ

Москва, Москва, Даниловский район
Восточная, 4 к1
Расположение на карте

Пн: 11:00-21:00
Вт: 11:00-21:00
Ср: 11:00-21:00
Чт: 11:00-21:00
Пт: 11:00-21:00
Сб: 11:00-19:00
Вс: 11:00-19:00

+7 (495) 675-16-36

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

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

Режим работы

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

Телефон

Объединение детских библиотек, МБУК

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

+7 (8482) 22-06-89

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

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

Режим работы

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

Телефон

Библиотека №16

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

www.cls-tambov.ru
Вконтакте: https://vk.com/club53413987

+7 (4752) 75-02-36

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК

Тульская область, Донской городской округ, Донской, Северо-Задонск
Горького, 6
Расположение на карте

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

biblioteka-don.ru

+7 (48746) 7-11-47

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

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

Режим работы

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

Телефон

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

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

Инстаграм: https://instagram.com/biblio_kids_f9
Facebook: https://facebook.com/profile.php?id=100008972115503&hc_ref=SEARCH&fref=nf

+7 (8722) 63-79-74

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

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

Режим работы

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

Телефон

Библиотека №25

+7 (8452) 51-50-77

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

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

Режим работы

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

Телефон

Библиотека, пос.Вольновка

Саратовская область, Саратовский район, пос. Вольновка
Школьная, 10
Расположение на карте

Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Вс: 15:00-16:30

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

Режим работы

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

Телефон

Детская библиотека №6 им. В.В. Бианки

Пермский край, Пермь городской округ, Пермь, Индустриальный район, Балатово
Мира, 80а
Расположение на карте

+7 (342) 207-51-02

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

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

Режим работы

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

Телефон

Владимирская областная библиотека для детей и молодежи

Владимирская область, Владимир городской округ, Владимир, Октябрьский район
Мира, 51
Расположение на карте

detmobib.ru
Вконтакте: https://vk.com/club34439529
Facebook: https://facebook.com/detmobib

+7 (4922) 333-700

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

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

Режим работы

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

Телефон

Туркинская детская библиотека

Республика Бурятия, Прибайкальский район, с. Турка
Октябрьская, 18
Расположение на карте

Explanation-based transformation of logic programs : Diss.

Купить

Реферат по теме Explanation-based transformation of logic programs : Diss.

Курсовая по теме Explanation-based transformation of logic programs : Diss.

ВКР/Диплом по теме Explanation-based transformation of logic programs : Diss.

Диссертация по теме Explanation-based transformation of logic programs : Diss.

Заработать на знаниях по теме Explanation-based transformation of logic programs : Diss.

Реставрация Explanation-based transformation of logic programs : Diss.