Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .
2073
Купить
Краткое содержание:
Экранизация книги

Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .

Год:
cop.1993
isbn:
3-540-56944-8
Язык:
Английский
Перевод заглавия:
Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .
Заглавие серии:
Lecture notes in artificial intelligence : Subser. of "Lecture notes in computer science" ; 698
Описание:
Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings / Andrei Voronkov (ed.). - Berlin etc. : Springer-Verl., cop.1993. - XIII,386 c. : схем. ; 23 см. - (Lecture notes in artificial intelligence : Subser. of "Lecture notes in computer science" ; 698). - Библиогр. в конце докл
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Вычислительные системы → Программирование логическое → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Другие ответственные лица:
Voronkov, Andrei → Редактор
Дата создания:
2020-09-09 23:41:57
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .
Опросы
Были по книге театр. постановки?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
ЮЖНО-КАЗАХСТАНСКАЯ ОБЛАСТНАЯ ДЕТСКАЯ БИБЛИОТЕКА ИМ. Ы. АЛТЫНСАРИНА, ГУ
Туркестанская область, Шымкент городская администрация, Шымкент, Аль-Фарабийский район
Аль-Фараби площадь, 1а
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
www.altynsarin-lib.kz
 +7 (7252) 53-96-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Катунь
Алтайский край, Алтайский район, пос. Катунь
Центральная, 6
последний пн месяца: санитарный день
Пн: 14:00-18:00
Вт: 14:00-18:00
Ср: 14:00-18:00
Чт: 14:00-18:00
Пт: 14:00-18:00
 +7 (38537) 2-80-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №1, г. Одинцово
Московская область, Одинцовский район, Одинцово, 3-й м-н
Маршала Бирюзова, 30а
санитарный день: первый чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (495) 593-04-00 +7 (495) 596-42-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №21
Москва, Москва, Войковский район
Космонавта Волкова, 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
www.cbssao.ru
Вконтакте:  https://vk.com/club65345262
Facebook:  https://facebook.com/cbssao
Youtube:  https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w
 +7 (499) 150-07-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №1
Саратовская область, Саратов городской округ, Саратов, Волжский район
Космонавтов набережная, 5
технический день: последняя пт месяца; июнь-август: вт-сб 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 (8452) 23-25-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №1 им. А.П. Гайдара
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Висим
1905 года, 8
санитарный день: последний день месяца; июнь-август: пн-пт 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-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
На Морской, библиотека
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №10 "Морской"
Морская набережная, 17 к1
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/club70021982
 +7 (812) 352-06-17 +7 (812) 351-17-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, пос. Индустрия
Садовая, 1
Вт: 14:00-18:00
Ср: 14:00-18:00
Чт: 14:00-18:00
Пт: 14:00-18:00
Сб: 16:00-22:00
www.mucbsprokopregion.ru
Название и адрес
Режим работы
Контактная информация
Телефон
МБУК Азовская городская Детская библиотека имени А. Чехова
Ростовская область, Азов городской округ, Азов
Московская, 31
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (86342) 4-46-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Большая Грязнуха
Свердловская область, Каменский городской округ, с. Большая Грязнуха
8 Марта, 26
Вт: 09:00-22:00
Ср: 09:00-22:00
Чт: 09:00-22:00
Пт: 09:00-22:00
Сб: 09:00-22:00
 +7 (3439) 37-22-83
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
ЮЖНО-КАЗАХСТАНСКАЯ ОБЛАСТНАЯ ДЕТСКАЯ БИБЛИОТЕКА ИМ. Ы. АЛТЫНСАРИНА, ГУ
Туркестанская область, Шымкент городская администрация, Шымкент, Аль-Фарабийский район
Аль-Фараби площадь, 1а
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
www.altynsarin-lib.kz
 +7 (7252) 53-96-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Катунь
Алтайский край, Алтайский район, пос. Катунь
Центральная, 6
последний пн месяца: санитарный день
Пн: 14:00-18:00
Вт: 14:00-18:00
Ср: 14:00-18:00
Чт: 14:00-18:00
Пт: 14:00-18:00
 +7 (38537) 2-80-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №1, г. Одинцово
Московская область, Одинцовский район, Одинцово, 3-й м-н
Маршала Бирюзова, 30а
санитарный день: первый чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (495) 593-04-00 +7 (495) 596-42-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №21
Москва, Москва, Войковский район
Космонавта Волкова, 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
www.cbssao.ru
Вконтакте:  https://vk.com/club65345262
Facebook:  https://facebook.com/cbssao
Youtube:  https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w
 +7 (499) 150-07-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №1
Саратовская область, Саратов городской округ, Саратов, Волжский район
Космонавтов набережная, 5
технический день: последняя пт месяца; июнь-август: вт-сб 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 (8452) 23-25-51
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №1 им. А.П. Гайдара
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Висим
1905 года, 8
санитарный день: последний день месяца; июнь-август: пн-пт 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-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
На Морской, библиотека
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №10 "Морской"
Морская набережная, 17 к1
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 11:00-18:00
Вконтакте:  https://vk.com/club70021982
 +7 (812) 352-06-17 +7 (812) 351-17-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, пос. Индустрия
Садовая, 1
Вт: 14:00-18:00
Ср: 14:00-18:00
Чт: 14:00-18:00
Пт: 14:00-18:00
Сб: 16:00-22:00
www.mucbsprokopregion.ru
Название и адрес
Режим работы
Контактная информация
Телефон
МБУК Азовская городская Детская библиотека имени А. Чехова
Ростовская область, Азов городской округ, Азов
Московская, 31
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (86342) 4-46-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Большая Грязнуха
Свердловская область, Каменский городской округ, с. Большая Грязнуха
8 Марта, 26
Вт: 09:00-22:00
Ср: 09:00-22:00
Чт: 09:00-22:00
Пт: 09:00-22:00
Сб: 09:00-22:00
 +7 (3439) 37-22-83
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.