國立高雄大學圖資館 |

查詢結果 [ subject:"Mathematical Logic and Formal Languages."]

1374 筆 (0.043s)· 頁 1 of 138 • 1 2 3 4 5 ... 138

1.

Ordinal analysis with an introductio...

~
Arai, Toshiyasu.
- Ordinal analysis with an introduction to proof theory
- by: Arai, Toshiyasu.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2020
- ISBN: 9789811564581; 9789811564598
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Logic, rationality, and interaction6...

~
(1998 :)
- Logic, rationality, and interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
- by: (1998 :); Baltag, Alexandru.; Seligman, Jeremy.; SpringerLink (Online service); Yamada, Tomoyuki.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Berlin Heidelberg :
- 出版地: Berlin, Heidelberg :
- 出版年: 2017
- ISBN: 9783662556641; 9783662556658
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Logics in artificial intelligence11t...

~
(1998 :)
- Logics in artificial intelligence11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
- by: (1998 :); Holldobler, Steffen, (1957-); Lutz, Carsten.; SpringerLink (Online service); Wansing, H.; Wansing, Heinrich.
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540878025; 9783540878032
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Modalities and multimodalitieswith t...

~
Carnielli, Walter.
- Modalities and multimodalitieswith the assistance and collaboration of Juliana Bueno-Soler /
- by: Carnielli, Walter.; Pizzi, Claudio.; SpringerLink (Online service)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer Science + Business Media B.V,
- 出版地: Dordrecht :
- 出版年: 2008
- ISBN: 9781402085895; 9781402085901
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Philosophical logiccurrent trends in...

~
Lee, Kok Yong.
- Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /
- by: Lee, Kok Yong.; Ono, Hiroakira.; SpringerLink (Online service); Yang, Syraya Chin-Mu.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2017
- ISBN: 9789811063541; 9789811063558
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Feferman on foundationslogic, mathem...

~
Jager, Gerhard.
- Feferman on foundationslogic, mathematics, philosophy /
- by: Jager, Gerhard.; Sieg, Wilfried.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2017
- ISBN: 9783319633329; 9783319633343
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

An introduction to the technique of ...

~
Cantone, Domenico.
- An introduction to the technique of formative processes in set theory
- by: Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319747774; 9783319747781
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Modeling companion for software prac...

~
Borger, Egon.
- Modeling companion for software practitioners
- by: Borger, Egon.; Raschke, Alexander.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Berlin Heidelberg :
- 出版地: Berlin, Heidelberg :
- 出版年: 2018
- ISBN: 9783662566398; 9783662566411
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Semigroups in complete latticesquant...

~
Eklund, Patrik.
- Semigroups in complete latticesquantales, modules and related topics /
- by: Eklund, Patrik.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319789477; 9783319789484
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Rough setsInternational Joint Confer...

~
(1998 :)
- Rough setsInternational Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018 : proceedings /
- by: (1998 :); Nguyen, Hung Son.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319993676; 9783319993683
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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