Albert Elvira Logic-based Program Synthesis and Transformation 9783642381966

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

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

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

в Мои желания

Автор: Albert Elvira
Название: Logic-based Program Synthesis and Transformation
ISBN: 9783642381966
Издательство: Springer
Классификация:

Математическая логика

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

ISBN-10: 3642381960
Обложка/Формат: Paperback
Страницы: 256
Вес: 0.40 кг.
Дата издания: 10.04.2013
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: 36 black & white illustrations, biography
Размер: 234 x 156 x 14
Читательская аудитория: Professional & vocational
Подзаголовок: 22nd international symposium, lopstr 2012, leuven, belgium, september 18-20, 2012, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

Logic-based Program Synthesis and Transformation, Albert Elvira