熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
呈現:
Fragments of First-Order Logic
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfi... more |
|||
Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring geometrical ... more |
|||
Advances in Modal Logic
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being u... more |
|||
Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring geometrical ... more |