國立高雄大學圖資館 |

查詢結果 [ subject:"Logic in AI."]

89 筆 (0.035s)· 頁 1 of 9 • 1 2 3 4 5

1.

Advances in computational intelligen...

~
Jain, Shruti.
- Advances in computational intelligence techniques
- by: Jain, Shruti.; Paul, Sudip.; Sood, Meenakshi.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2020
- ISBN: 9789811526190; 9789811526206
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Coalgebraic methods in computer scie...

~
(1998 :)
- Coalgebraic methods in computer science15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings /
- by: (1998 :); Petrisan, Daniela.; Rot, Jurriaan.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030572006; 9783030572013
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Joint training for neural machine tr...

~
Cheng, Yong.
- Joint training for neural machine translation
- by: Cheng, Yong.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2019
- ISBN: 9789813297470; 9789813297487
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Implementation and application of au...

~
(1998 :)
- Implementation and application of automata25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings /
- by: (1998 :); Maneth, Sebastian.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030791209; 9783030791216
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Five-layer intelligence of the machine brainsystem modelling and simulation /
- by: Chen, Xi.; SpringerLink (Online service); Wang, Wen-Feng.; Yao, Tuozhong.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2022
- ISBN: 9789811902710; 9789811902727
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.
- Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
- by: (1998 :); Hansen, Helle Hvid.; SpringerLink (Online service); Zanasi, Fabio.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031107351; 9783031107368
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
- by: (1998 :); Janota, Mikolas.; Lynce, Ines.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030242572; 9783030242589
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Representation theorems in computer ...

~
Ozcep, Ozgur Lutfu.
- Representation theorems in computer sciencea treatment in logic engineering /
- by: Ozcep, Ozgur Lutfu.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030257842; 9783030257859
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Fundamentals of software engineering...

~
(1998 :)
- Fundamentals of software engineering8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers /
- by: (1998 :); Hojjat, Hossein.; Massink, Mieke.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030315160; 9783030315177
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Identity, institutions and governanc...

~
Bloom, Peter.
- Identity, institutions and governance in an AI worldtranshuman relations /
- by: Bloom, Peter.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Palgrave Macmillan,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030361808; 9783030361815
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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