中圖網(wǎng)小程序
一鍵登錄
更方便
>
關(guān)于“張明義，王以松著”檢索到 共1種現(xiàn)貨商品
-
包郵缺省邏輯與回答集程序
¥160.2(8.9折)定價(jià):¥180.0本書主要介紹一階子句集的消解原理和命題公式集的穩(wěn)定模型、一般缺省理論(包括它的幾個(gè)重要變種)的擴(kuò)張計(jì)算特征與算法和復(fù)雜性、容易計(jì)算的特殊缺省理論類和缺省邏輯的語義、回答集程序及其拓廣(嵌套查詢)的基本概念與重要性質(zhì)，以及架起回答集程序與經(jīng)典邏輯之間關(guān)系橋梁的環(huán)公式和程序完備理論...
