圖書館館藏資料查詢系統

簡易查詢
進階查詢
縮小查詢範圍

ADD

進階選項

縮小查詢範圍

出版年 ~
語言
資料類型
只查被收藏的書目

查詢再細分

出版年

2004(1)

2003(1)
語言

英語(2)
作者

Queiroz, Ruy J. G. B. de,(1)

Schlechta, Karl.(1)
資料類型

電子書(2)
主題

Modalité (Logique)(2)

Modality (Logic)(2)

Algebraic logic.(1)

COMPUTERS(1)

Enterprise ApplicationsBusiness Intelligence Tools.(1)

Infinity.(1)

Intelligence (AI) & Semantics.(1)

Logic.(1)

Logique algébrique.(1)

MATHEMATICS(1)

Mathematical models.(1)

Mathematische Logik(1)

Nichtmonotone Logik(1)

Nonmonotonic reasoning.(1)

Parallel programming (Computer science)(1)

Programmation parallèle (Informatique)(1)

Proof theory.(1)

Raisonnement non-monotone.(1)

Semantics(1)

Théorie de la preuve.(1)

呈現
排序
1 / 1頁
筆數

本頁勾選/
勾選(0筆)/
儲存列印 E-Mail

26 0 0 0 0

Coherent systems
- 作者: Schlechta, Karl.
- 出版: Amsterdam ;Boston : Elsevier 2004.
- 資料類型: 電子書
35 0 0 0 0

Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書

呈現
排序
1 / 1頁
筆數