Hans-J?rgen B?rckert A Resolution Principle for a Logic with Restricted Quantifiers 9783540550341

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

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

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

в Мои желания

Автор: Hans-J?rgen B?rckert
Название: A Resolution Principle for a Logic with Restricted Quantifiers
ISBN: 9783540550341
Издательство: Springer
Классификация:

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

ISBN-10: 3540550348
Обложка/Формат: Paperback
Страницы: 120
Вес: 0.20 кг.
Дата издания: 11.12.1991
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 7
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.

A Resolution Principle for a Logic with Restricted Quantifiers, Hans-J?rgen B?rckert