Search Results for Syntax.

18 Results Found

1 2

000000DEFAULT

13.

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.

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.

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 Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520828.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23793-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520829.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23804-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

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:

1 2

	{displayName}	{count}
{error}