कवर छवि

Mathematical Aspects of Logic Programming Semantics

अन्य संस्करण दिखाएं (1)

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
ऑनलाइन पहुंच:	OAPEN Library: download the publication OAPEN Library: description of the publication
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Unauthorized Access The Crisis in Online Privacy and Security
द्वारा: Sloan, Robert H.
प्रकाशित: (2014)

Unauthorized Access The Crisis in Online Privacy and Security
द्वारा: Sloan, Robert H.
प्रकाशित: (2014)

Information Security Governance Simplified From the Boardroom to the Keyboard
द्वारा: Fitzgerald, Todd
प्रकाशित: (2011)

Information Security Governance Simplified From the Boardroom to the Keyboard
द्वारा: Fitzgerald, Todd
प्रकाशित: (2011)

Defense against the Black Arts How Hackers Do What They Do and How to Protect against It
द्वारा: Varsalone, Jesse
प्रकाशित: (2012)

Defense against the Black Arts How Hackers Do What They Do and How to Protect against It
द्वारा: Varsalone, Jesse
प्रकाशित: (2012)

Linked Data A Geographic Perspective
द्वारा: Hart, Glen
प्रकाशित: (2013)

Linked Data A Geographic Perspective
द्वारा: Hart, Glen
प्रकाशित: (2013)

Advanced Location-Based Technologies and Services
प्रकाशित: (2013)

Mobile Ad Hoc Networks Current Status and Future Trends
द्वारा: Loo, Jonathan
प्रकाशित: (2011)

Mobile Ad Hoc Networks Current Status and Future Trends
द्वारा: Loo, Jonathan
प्रकाशित: (2011)

Mathematical Aspects of Logic Programming Semantics
द्वारा: Hitzler, Pascal
प्रकाशित: (2010)

Wi-Fi Enabled Healthcare
द्वारा: Youssef, Ali
प्रकाशित: (2014)

Window Functions and Their Applications in Signal Processing
द्वारा: Prabhu, K. M. M.
प्रकाशित: (2014)

Window Functions and Their Applications in Signal Processing
द्वारा: Prabhu, K. M. M.
प्रकाशित: (2014)

Network-on-Chip The Next Generation of System-on-Chip Integration
द्वारा: Kundu, Santanu
प्रकाशित: (2014)

Network-on-Chip The Next Generation of System-on-Chip Integration
द्वारा: Kundu, Santanu
प्रकाशित: (2014)

Security in Distributed, Grid, Mobile, and Pervasive Computing
द्वारा: Xiao, Yang
प्रकाशित: (2007)

Biodiversity Databases Techniques, Politics, and Applications
प्रकाशित: (2007)

Biodiversity Databases Techniques, Politics, and Applications
प्रकाशित: (2007)

Integrating Everything The Integrated Practitioner
द्वारा: Amery, Justin
प्रकाशित: (2014)

Integrating Everything The Integrated Practitioner
द्वारा: Amery, Justin
प्रकाशित: (2014)

Engineering Systems Integration Theory, Metrics, and Methods
द्वारा: Langford, Gary O.
प्रकाशित: (2012)

Engineering Systems Integration Theory, Metrics, and Methods
द्वारा: Langford, Gary O.
प्रकाशित: (2012)

Healthcare Biotechnology A Practical Guide
द्वारा: Dogramatzis, Dimitris
प्रकाशित: (2011)

Healthcare Biotechnology A Practical Guide
द्वारा: Dogramatzis, Dimitris
प्रकाशित: (2011)

Optimal Control for Chemical Engineers
द्वारा: Upreti, Simant Ranjan
प्रकाशित: (2013)

Optimal Control for Chemical Engineers
द्वारा: Upreti, Simant Ranjan
प्रकाशित: (2013)

Charged Particle Optics Theory An Introduction
द्वारा: Groves, Timothy R.
प्रकाशित: (2015)

Charged Particle Optics Theory An Introduction
द्वारा: Groves, Timothy R.
प्रकाशित: (2015)

Foundations of Fuzzy Logic and Semantic Web Languages
द्वारा: Straccia, Umberto
प्रकाशित: (2013)

Foundations of Fuzzy Logic and Semantic Web Languages
द्वारा: Straccia, Umberto
प्रकाशित: (2013)

Toxic Chemicals Risk Prevention Through Use Reduction
द्वारा: Higgins, Thomas E.
प्रकाशित: (2011)

Managing Emotion in Design Innovation
द्वारा: Singh, Amitoj
प्रकाशित: (2014)

Toxic Chemicals Risk Prevention Through Use Reduction
द्वारा: Higgins, Thomas E.
प्रकाशित: (2011)

Managing Emotion in Design Innovation
द्वारा: Singh, Amitoj
प्रकाशित: (2014)

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings /
प्रकाशित: (2020)

Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings /
प्रकाशित: (2020)

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings /
प्रकाशित: (2019)

An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities
द्वारा: Boole, George, 1815-1864