國立高雄大學圖資館 |

查詢結果 [ subject:"Computer logic."]

58 筆 (0.031s)· 頁 1 of 6 • 1 2 3 4 5

1.

Program development in computational...

~
Bruynooghe, M.
- Program development in computational logica decade of research advances in logic-based program development /
- by: Bruynooghe, M.; Lau, K.-K. (1953-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2004
- ISBN: 9783540221524
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Isabelle/HOLa proof assistant for hi...

~
Nipkow, Tobias.
- Isabelle/HOLa proof assistant for higher-order logic /
- by: Nipkow, Tobias.; Paulson, Lawrence C.; SpringerLink (Online service); Wenzel, Markus.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540433767
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.
- Computational thinking for life scientists
- by: Chor, Benny.; Rubinstein, Amir.
- 書目-電子資源 : Monograph/item
- 出版者: Cambridge University Press,
- 出版地: Cambridge, United Kingdom ; New York, NY :
- 出版年: 2022
- ISBN: 9781107197244; 9781108178327; 9781316647592
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- R-calculus.III,Post three-valued logic
- by: Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Singapore :
- 出版地: Singapore :
- 出版年: 2022
- ISBN: 9789811942693; 9789811942709
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Modal and temporal properties of pro...

~
Stirling, Colin P.
- Modal and temporal properties of processes /
- by: Stirling, Colin P.
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 0387987177
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Asynchronous operators of sequential...

~
SpringerLink (Online service)
- Asynchronous operators of sequential logicvenjunction & sequention : digital circuit analysis and design /
- by: SpringerLink (Online service); Vasyukevich, Vadim.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2011
- ISBN: 9783642216107; 9783642216114
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Towards a design flow for reversible...

~
Drechsler, Rolf.
- Towards a design flow for reversible logic
- by: Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media B.V.,
- 出版地: Dordrecht :
- 出版年: 2010
- ISBN: 9789048195787; 9789048195794
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Challenges for action theories

~
SpringerLink (Online service)
- Challenges for action theories
- by: SpringerLink (Online service); Thielscher, Michael.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540674559
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.
- Logics for computer and data sciences, and artificial intelligence
- by: Polkowski, Lech T.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783030916794; 9783030916800
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

New essays on Belnap-Dunn logic

~
Omori, Hitoshi.
- New essays on Belnap-Dunn logic
- by: Omori, Hitoshi.; SpringerLink (Online service); Wansing, Heinrich.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030311353; 9783030311360
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料