Fioravanti, F., & Gallagher, J. P. (2020). Logic-Based Program Synthesis and Transformation. Springer International Publishing.
Trích dẫn kiểu ChicagoFioravanti, Fabio, và John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
MLA引文Fioravanti, Fabio, và John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
警告:這些引文格式不一定是100%准確.