Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

бо Maribel Fernández
4/5
Аввалин нашр шуд
2021
Ноширон
Springer International Publishing AG
Забон
English

Китобҳо

Китобҳои монанд