Gianluca Della Vedova – författare
Visar alla böcker från författaren Gianluca Della Vedova. Handla med fri frakt och snabb leverans.
5 produkter
Beyond the Horizon of Computability
16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Av Marcella Anselmo, Gianluca Della Vedova m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented …
Beyond the Horizon of Computability
16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Av Arno Pauly, Florin Manea m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented …
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
Av Gianluca Della Vedova, Besik Dundua m. fl.
Häftad, 2023
790 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. …
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
Av Florin Manea, Steffen Lempp m. fl.
E-bok, 2023
1007 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. …