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 paper...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Metcalfe, George, Studer, Thomas, de Queiroz, Ruy
Format:	Buch
Sprache:	eng
Schlagworte:	Computer logic Logic, Symbolic and mathematical
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!