Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings / Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.). by Series: Lecture notes in computer science ; 8652. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2014]
Availability: Items available for loan: e-Library (1).
|
|
|
11.
|
Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.). by Series: Lecture notes in computer science ; 9160. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
12.
|
Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.). by Series: Lecture notes in computer science ; 9803. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
13.
|
Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.). by Series: Lecture notes in computer science ; 10388. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Germany : Springer, 2017
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
14.
|
Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (eds.). by Series: Lecture notes in computer science ; 10944. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Germany : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
15.
|
Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, the Netherlands, July 2-5, 2019, proceedings / Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.). by Series: Lecture notes in computer science ; 11541. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Germany : Springer, [2019]
Availability: Items available for loan: e-Library (1).
|
|
|
16.
|
Monotonicity in logic and language : second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl (eds.). by Series: Lecture notes in computer science ; 12564. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Germany : Springer, [2020]
Availability: Items available for loan: e-Library (1).
|
|
|
17.
|
Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / Alexandra Silva, Renata Wassermann, Ruy de Queiroz (eds.). by Series: Lecture notes in computer science ; 13038. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2021]Copyright date: ©2021
Availability: Items available for loan: e-Library (1).
|
|
|
18.
|
Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz, editors. by Series: Lecture notes in computer science ; 13923. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
19.
|
Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings / Mohua Banerjee, A.V. Sreejith, editors. by Series: Lecture notes in computer science ; 13963. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2023]
Availability: Items available for loan: e-Library (1).
|
|
|
20.
|
Dynamics in logic and language : third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022, revised selected papers / Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie, editors. by Series: Lecture notes in computer science ; 13524. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023
Availability: Items available for loan: e-Library (1).
|