Logic, Language, Information, and Computation
Produktnummer:
18959146eabc764758bb9504bdd39dc8ba
| Themengebiete: | artificial intelligence information organization modal logic models of computation natural language non-classical logics philosophical logic proof mining proof theory type theory |
|---|---|
| Veröffentlichungsdatum: | 07.09.2025 |
| EAN: | 9783031995361 |
| Sprache: | Englisch |
| Seitenzahl: | 355 |
| Produktart: | Unbekannt |
| Herausgeber: | Kozen, Dexter de Queiroz, Ruy |
| Verlag: | Springer International Publishing |
| Untertitel: | 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings |
Produktinformationen "Logic, Language, Information, and Computation"
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen