Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures, Comon Hubert, Marche Claude, Treinen Ralf



Варианты приобретения
Цена: 6116р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 авг 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Comon Hubert, Marche Claude, Treinen Ralf
Название:  Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
ISBN: 9783540419501
Издательство: Springer
Классификация:
ISBN-10: 3540419500
Обложка/Формат: Paperback
Страницы: 309
Вес: 0.462 кг.
Дата издания: 2001
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 23.39 x 15.60 x 1.75
Читательская аудитория: Professional & vocational
Подзаголовок: International summer school, ccl`99 gif-sur-yvette, france september 5-8, 1999 : revised lectures
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers, professionals, and students
Ключевые слова: Automated Deduction
Computational Logics
Constraint Logic Programming
Constraint Solving
Constraints
First-Order Logic
Logic Programming
Theorem Proving
Язык: eng





ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия