Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings
Author(s)
Bibliographic Information
Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings
(Lecture notes in computer science, 13967 . Advanced research in computing and software science)
Springer, c2023
- Other Title
-
ARCoSS
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||13967200045075282
-
No Libraries matched.
- Remove all filters.
Note
Other editors: Besik Dundua, Steffen Lempp, Florin Manea
Includes bibliographical references and index
