RAATZ Graph-Based Proof Procedures for Horn Clauses 9780817635305

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

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

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

в Мои желания

Автор: RAATZ
Название: Graph-Based Proof Procedures for Horn Clauses
ISBN: 9780817635305
Издательство: Springer
Классификация:

Учебные материалы: естественные науки: общие вопросы

ISBN-10: 0817635300
Обложка/Формат: Paperback
Страницы: 150
Вес: 0.23 кг.
Дата издания: 01.12.1990
Серия: Progress in Computer Science and Applied Logic
Язык: English
Размер: 234 x 156 x 9
Основная тема: Science, Humanities and Social Sciences, multidisciplinary
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.

Graph-Based Proof Procedures for Horn Clauses, RAATZ