Mathematical Aspects of Logic Programming Semantics
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...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Electronig Pennod Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Taylor & Francis
2011
|
| Pynciau: | |
| Mynediad Ar-lein: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Byddwch y cyntaf i adael sylw!