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

Author(s)

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

Bibliographic Information

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

Other Title

ARCoSS

Note

Other editors: Besik Dundua, Steffen Lempp, Florin Manea

Includes bibliographical references and index

Details

• NCID: BD03749105
• ISBN:
  • 9783031369773
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: li, 296 p.
• Size: 24 cm
• Classification:
  • DC23 : 004
• Subject Headings:
  • LCSH : Computer science -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BC04575556