Harald Ganzinger Automated Deduction

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

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

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

в Мои желания

Автор: Harald Ganzinger
Название: Automated Deduction - CADE-16
ISBN: 9783540662228
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

Экспертные системы / системы баз знаний

ISBN-10: 3540662227
Обложка/Формат: Paperback
Страницы: 438
Вес: 0.63 кг.
Дата издания: 23.06.1999
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 23
Основная тема: Computer Science
Подзаголовок: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.

Automated Deduction - CADE-16, Harald Ganzinger