TOP
0
0
進階搜尋

熱搜：

孩子需要的繪本180選

、

Julia Donaldson 套書

、

麵包小偷06

、

【預購】我英公式插畫集首刷限定

、

明亮燦爛的你

、

香港聯合出版79折

165反詐騙

紅利積點抵現金，消費購書更貼心
篩選商品
縮小範圍
商品類型
外文書 (1)
商品狀態
可訂購 (1)
無庫存 (1)
商品定價
$800以上 (1)
出版日期
2017以前 (1)
裝訂方式
平裝 (1)
出版社/品牌
Springer Verlag (1)
作者
Alexandre Rademaker (1)
搜尋結果 /

Alexandre Rademaker

作者：Alexandre Rademak...
共 1 筆
第1 / 1 頁
A Proof Theory for Description Logics
1.

A Proof Theory for Description Logics
出版日：2012/05/17 作者：Alexandre Rademaker  出版社：Springer Verlag  裝訂：平裝
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description
優惠價： 1 3499
無庫存
  • 共 1筆
    第 1 頁

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品