Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 2123, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)
Compare webshops (1)
Shop
Price