Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Show other versions (2)

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

Full description

Saved in:
Bibliographic Details
Main Author: Hitzler, Pascal (auth)
Other Authors: Seda, Anthony (auth)
Format: Book Chapter
Published: Taylor & Francis 2011
Subjects:
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 Access:Get Fullteks
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get Fullteks
DOAB: description of the publication

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available

Similar Items