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

Metcalfe, George, Studer, Thomas, De Queiroz, Ruy

  • 出版商: Springer
  • 出版日期: 2024-06-08
  • 售價: $2,710
  • 貴賓價: 9.5$2,575
  • 語言: 英文
  • 頁數: 293
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031626869
  • ISBN-13: 9783031626869
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書是與FoLLI(Logic、Language和Information協會)合作編輯的,它是第30屆國際邏輯、語言、信息和計算研討會(WoLLIC 2024)的審查程序成果,該研討會於2024年6月10日至13日在瑞士伯恩舉行。

本書收錄了18篇全文論文,經過嚴格審查和從37篇投稿中精心選擇而來。此外,本書還包含了六篇特邀摘要。

WoLLIC研討會系列旨在促進純理論和應用邏輯的跨學科研究。

類似商品