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...
Saved in:
Main Author: | Hitzler, Pascal (auth) |
---|---|
Other Authors: | Seda, Anthony (auth) |
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Taylor & Francis
2011
|
Subjects: | |
Online Access: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Unauthorized Access The Crisis in Online Privacy and Security
by: Sloan, Robert H.
Published: (2014)
by: Sloan, Robert H.
Published: (2014)
Similar Items
-
Unauthorized Access The Crisis in Online Privacy and Security
by: Sloan, Robert H.
Published: (2014) -
Unauthorized Access The Crisis in Online Privacy and Security
by: Sloan, Robert H.
Published: (2014) -
Information Security Governance Simplified From the Boardroom to the Keyboard
by: Fitzgerald, Todd
Published: (2011) -
Information Security Governance Simplified From the Boardroom to the Keyboard
by: Fitzgerald, Todd
Published: (2011) -
Defense against the Black Arts How Hackers Do What They Do and How to Protect against It
by: Varsalone, Jesse
Published: (2012)