Steffen Lempp – författare
Visar alla böcker från författaren Steffen Lempp. Handla med fri frakt och snabb leverans.
4 produkter
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. …
Recursion Theory and Complexity
Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997
Av M. M. Arslanov, Marat M. Arslanov m. fl.
Inbunden, 1999
2386 kr
Lägg i varukorg
No detailed description available for "Recursion Theory and Complexity".
Recursion Theory and Complexity
Proceedings of the Kazan ''97 Workshop, Kazan, Russia, July 14–19, 1997
Av Steffen Lempp, Marat M. Arslanov
E-bok, 2014
2135 kr
Lägg i varukorg
No detailed description available for "e;Recursion Theory and Complexity"e;.
