Mathematical aspects of logic programming semantics /

Mathematical aspects of logic programming semantics /

"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics 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 f...

Full description

Bibliographic Details
Main Author: Hitzler, Pascal
Corporate Author: Taylor & Francis
Other Authors: Seda, Anthony
Format: eBook
Language:English
Published: Boca Raton, FL : CRC Press, ©2011.
Series:Chapman & Hall/CRC studies in informatics series.
Subjects:
Logic programming.
Programming languages (Electronic computers) > Semantics.
Programmation logique.
Langages de programmation > Sémantique.
COMPUTERS > Programming > General.
MATHEMATICS > Logic.
Logic programming
Programming languages (Electronic computers) > Semantics
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63 .H58 2011
 
Call Number Status Get It
QA76.63 .H58 2011 Available