de Angelis Emanuele, Vanhoof Wim Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings 9783030988685

Варианты приобретения

Цена: 7685.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: de Angelis Emanuele, Vanhoof Wim
Название: Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
ISBN: 9783030988685
Издательство: Springer
Классификация:

Сетевое оборудование

Технология разработки программного обеспечения

Математическая теория вычислений

Искусственный интеллект

ISBN-10: 3030988686
Обложка/Формат: Paperback
Страницы: 188
Вес: 0.27 кг.
Дата издания: 13.03.2022
Серия: Lecture notes in computer science
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 26 illustrations, color; 34 illustrations, black and white; ix, 177 p. 60 illus., 26 illus. in color.
Размер: 23.39 x 15.60 x 1.02 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 31st international symposium, lopstr 2021, tallinn, estonia, september 7-8, 2021, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
Дополнительное описание: String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Toward

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings, de Angelis Emanuele, Vanhoof Wim