Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings
暫譯: 邏輯、語言、資訊與計算：第31屆國際研討會，Wollic 2025，葡萄牙波爾圖，2025年7月14-17日，會議論文集

Kozen, Dexter, De Queiroz, Ruy

Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-08-01
  • 售價: $3,030
  • 貴賓價: 9.5 折 $2,879
  • 語言: 英文
  • 頁數: 369
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303199535X
  • ISBN-13: 9783031995354
  • 相關分類: 資訊科學

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書是與邏輯、語言和資訊協會（FoLLI）合作編輯的，包含了第31屆國際邏輯、語言、資訊與計算研討會（WoLLIC 2025）在葡萄牙波爾圖於2025年7月舉行的經過審核的會議論文集。 本書收錄的21篇完整論文是從57篇投稿中精心審核和選出的。WoLLIC會議旨在促進純粹邏輯和應用邏輯的跨學科研究。

類似商品