везде Расширенный поиск
книги Компьютеры и Интернет Операционные системы и сети Безопасность

Joel Glanfield

Towards Automated Derivation in the Theory of Allegories. Master of Science

Код 1454689

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Towards Automated Derivation in the Theory of Allegories. Master of Science"

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certi?cate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are signi?cant for those interested in relational...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8383-2586-6
Объём: 76 страниц
Масса: 135 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Книга находится в категориях

Учебники по информатике

Вместе с этой книгой покупают

React и Redux. Функциональная веб-разработка
React и Redux. Функциональная веб-разработка бумажная книга
Алекс Бэнкс
Нет в продаже
Трейдинг: Первые шаги
Трейдинг: Первые шаги бумажная книга
Александр Элдер
9.02 USD
1
В корзину
В поиске идей. Иллюстрированное исследование креативности
В поиске идей. Иллюстрированное исследование... бумажная книга
Грант Снайдер
Нет в продаже
Красная книга сказок
Красная книга сказок бумажная книга
Эндрю Лэнг
Нет в продаже
Английский язык для изучающих автоматику (b1-b2): Учебное пособие для СПО
Английский язык для изучающих автоматику... бумажная книга
Михаил Юрьевич Рачков
1
Нет в продаже
Выдающийся лидер. Как закрепить успех, развивая свои сильные стороны
Выдающийся лидер. Как закрепить успех, развивая... бумажная книга
Джон Зенгер
Нет в продаже