Results
|
|
2121.
|
The connectives in logic and language : 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, revised selected papers / Jialiang Yan, Mingming Liu, Dag Westerståhl, Xiaolu Yang, editors. by Series: Lecture notes in computer science ; 15410.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Availability: Items available for loan: e-Library (1).
|
|
|
2122.
|
Analytical and stochastic modelling techniques and applications : 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings / Arnaud Devos, András Horváth, Sabina Rossi, editors. by Series: Lecture notes in computer science ; 14826.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2025]
Availability: Items available for loan: e-Library (1).
|
|
|
2123.
|
Logic Programming and Nonmonotonic Reasoning : 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings / Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, editors. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 15245. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2025]
Availability: Items available for loan: e-Library (1).
|
|
|
2124.
|
Computer performance engineering : 20th European workshop, EPEW 2024, Venice, Italy, June 14, 2024, revised selected papers / Josu Doncel, Anne Remke, Daniele Di Pompeo, editors. by Series: Lecture notes in computer science ; 15454.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham : Springer, 2025
Availability: Items available for loan: e-Library (1).
|
|
|
2125.
|
|