Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.
The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.
The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.

Dettagli sul prodotto

• Con la collaborazione di: George Metcalfe (Editore), Ruy de Queiroz (Editore), Thomas Studer (Editore)
• Editore: Springer, Berlin
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 08.06.2024
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Hardware
• EAN: 9783031626869
• ISBN: 978-3-0-3162686-9
• Numero di pagine: 293
• Illustrazioni: XXIV, 293 p. 32 illus., 6 illus. in color.
• Dimensioni (della confezione): 15.5 x 1.7 x 23.5 cm
• Peso (della confezione): 488 g
• Serie: Lecture Notes in Computer Science > 14672
• Categorie: Computerhardware, ArtificialIntelligence, modallogic, formalmethods, philosophicallogic, Typetheory, ProofTheory, naturallanguage, Foundationsofmathematics, modelsofcomputation, Non-classicalLogics, logicsofprograms, ProofMining, informationorganization