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...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Ebooks |
| Խորագրեր: | |
| Առցանց հասանելիություն: | Get Fulltext |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Համացանց
Get Fulltext3rd Floor Main Library
| Դասիչ: |
A1234.567 |
|---|---|
| Պատճեն 1 | Հասանելի է |