Cover Image

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

Main Author: Hitzler, Pascal.
Other Authors: Seda, Anthony.
Format: eBook
Language: English
Published: Boca Raton, FL : CRC Press, ©2011.
Boca Raton, FL : [2011]
Physical Description: 1 online resource (xxx, 274 pages) : illustrations.
Series: Chapman & Hall/CRC studies in informatics series.
Subjects:
Logic programming.
Programming languages (Electronic computers) -- Semantics.
Online Access: CRCnetBASE
CRCnetBASE
EBSCOhost
MyiLibrary
OAPEN
OAPEN
Taylor & Francis
VLeBooks
https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100045384990.0x000001
http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000528276&T=marc&tab=BOOKS
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781000218725
Free eBook from the Internet Archive
Additional information and access via Open Library
CRCnetBASE
CRCnetBASE
EBSCOhost
MyiLibrary
OAPEN
OAPEN
Taylor & Francis
VLeBooks
https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100045384990.0x000001
http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000528276&T=marc&tab=BOOKS
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781000218725
Free eBook from the Internet Archive
Additional information and access via Open Library

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available

In Prospector

Similar Items