Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings
Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings
Author 
Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520242.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2401-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Health Information Processing 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers
Health Information Processing 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers
Author 
Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.
Preferred Shelf Number 
XX(520278.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520935.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Terminology, Ontology and their Implementations
Terminology, Ontology and their Implementations
Author 
Elkin, Peter L. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521842.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-11039-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Author 
Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521257.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43977-3
Format: 
Availability 
Online Library~1
Available:
Copies: