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...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 電子媒体 図書の章 |
| 言語: | 英語 |
| 出版事項: |
Taylor & Francis
2011
|
| 主題: | |
| オンライン･アクセス: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
インターネット
OAPEN Library: download the publicationOAPEN Library: description of the publication
3rd Floor Main Library
| 請求記号: |
A1234.567 |
|---|---|
| 所蔵 1 | 利用可 |