Jump to main content

yr 〜
yr

Search results 2

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

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings
Paper図書
Gianluca Della Vedova ... [et al.], editorsSpringerc2023
Other Libraries in Japan
  • Author Heading...lity in Europe Della Vedova, Gianluca Dundua, Besik Lempp, Steffen ...

Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings

Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings
Paper図書
Marcella Anselmo ... [et al.], (eds.)Springerc2020
Other Libraries in Japan
  • Author Heading...elmo, Marcella Della Vedova, Gianluca Manea, Florin Pauly, Arno

Reached to the end of result.

RSS