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 from tr...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , |
| Format: | Électronique Chapitre de livre |
| Langue: | anglais |
| Publié: |
Taylor & Francis
2010
|
| Sujets: | |
| Accès en ligne: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Internet
OAPEN Library: download the publicationOAPEN Library: description of the publication
3rd Floor Main Library
| Cote: |
A1234.567 |
|---|---|
| Exemplaire 1 | Disponible |