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...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Baliabide elektronikoa Liburu kapitulua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Taylor & Francis
2010
|
| Gaiak: | |
| Sarrera elektronikoa: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Search Result 1
OAPEN Library: description of the publication
Mathematical Aspects of Logic Programming Semantics
Argitaratua 2011
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa
Liburu kapitulua