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...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Hitzler, Pascal (auth)
Andere auteurs:	Seda, Anthony (auth)
Formaat:	Elektronisch Hoofdstuk
Taal:	Engels
Gepubliceerd in:	Taylor & Francis 2011
Onderwerpen:	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 toegang:	OAPEN Library: download the publication OAPEN Library: description of the publication
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Mathematical Aspects of Logic Programming Semantics door Hitzler, Pascal

Gepubliceerd in 2010

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

Elektronisch Hoofdstuk

Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics door Hitzler, Pascal

Gelijkaardige items