Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings

著者

• Conference on Computability in Europe
• Della Vedova, Gianluca
• Dundua, Besik
• Lempp, Steffen
• Manea, Florin

書誌事項

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings

Gianluca Della Vedova ... [et al.], editors

（Lecture notes in computer science, 13967 . Advanced research in computing and software science）

Springer, c2023

タイトル別名

ARCoSS

注記

Other editors: Besik Dundua, Steffen Lempp, Florin Manea

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BD03749105
• ISBN:
  • 9783031369773
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: li, 296 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 004
• 件名:
  • LCSH : Computer science -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BC04575556