William McCune Automated Deduction - CADE-14 9783540631040

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

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

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

в Мои желания

Автор: William McCune
Название: Automated Deduction - CADE-14
ISBN: 9783540631040
Издательство: Springer
Классификация:

Архитектура и логическое построение вычислительных систем

ISBN-10: 3540631046
Обложка/Формат: Paperback
Страницы: 469
Вес: 0.67 кг.
Дата издания: 18.06.1997
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 25
Основная тема: Computer Science
Подзаголовок: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.

Automated Deduction - CADE-14, William McCune