Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

урөд Fabio Fioravanti
4/5
Анх хэвлэгдэн гарсан
Jul 10, 2018
Хэвлэн нийтлэгчид
Springer

Номууд

Үүнтэй төстэй номууд