國立高雄大學圖資館 |

Search result for [ subject:"Logic in AI."]

115 records (0.038s)· Page 1 of 12 • 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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2020
- ISBN: 9789811526190; 9789811526206
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030572006; 9783030572013
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Joint training for neural machine tr...

~
Cheng, Yong.
- Joint training for neural machine translation
- by: Cheng, Yong.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2019
- ISBN: 9789813297470; 9789813297487
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2021
- ISBN: 9783030791209; 9783030791216
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Five-layer intelligence of the machine brainsystem modelling and simulation /
- by: Chen, Xi.; SpringerLink (Online service); Wang, Wen-Feng.; Yao, Tuozhong.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Singapore :
- Place of Publication: Singapore :
- Year of Publication: 2022
- ISBN: 9789811902710; 9789811902727
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031107351; 9783031107368
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Developments in language theory28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings /
- by: (1998 :); Day, Joel D.; Manea, Florin.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031661587; 9783031661594
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Reasoning web. declarative artificial intelligence: knowledge, rules, logic19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
- by: (1998 :); Console, Marco.; Konev, Boris.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031802829; 9783031802836
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030242572; 9783030242589
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Representation theorems in computer ...

~
Ozcep, Ozgur Lutfu.
- Representation theorems in computer sciencea treatment in logic engineering /
- by: Ozcep, Ozgur Lutfu.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030257842; 9783030257859
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items