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:	Rebecca Pepper Sinkler Fund
Other Authors:	Seda, Anthony
Format:	Book
Language:	English
Published:	Boca Raton, FL : CRC Press, c2011 Boca Raton, FL : [2011]
Series:	Chapman & Hall/CRC studies in informatics series
Subjects:	Logic programming Programming languages (Electronic computers) > Semantics COMPUTERS / Information Theory COMPUTERS / Machine Theory COMPUTERS / Software Development & Engineering / Systems Analysis & Design

Internet

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.63 .H58 2011

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.63 .H58 2011

Duke University

Holdings details from Duke University
Call Number:	QA76.63 .H58 2011

Princeton University

Holdings details from Princeton University
Call Number:	QA76.63 .H58 2011

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA76.63 .H58 2011