Mathematical Aspects of Logic Programming Semantics

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconve...

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	Hitzler, Pascal (auth)
Другие авторы:	Seda, Anthony (auth)
Формат:	Электронный ресурс Глава книги
Язык:	английский
Опубликовано:	Taylor & Francis 2011
Предметы:	Games development & programming Information architecture Mathematical theory of computation Systems analysis & design Computer Science (General) Intelligent Systems Machine Learning SCI-TECH COMPUTERSCIENCE ITECH INFORMATIONSCIENCE STM complete fixed ground level mappings order partial point predicate symbol
Online-ссылка:	OAPEN Library: download the publication OAPEN Library: description of the publication
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Mathematical Aspects of Logic Programming Semantics по Hitzler, Pascal

Опубликовано 2010

OAPEN Library: download the publication
OAPEN Library: description of the publication

Электронный ресурс Глава книги

Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics по Hitzler, Pascal

Схожие документы