Skip to content
Vinony

Logic-Based Program Synthesis and Transformation

by Fabio Fioravanti, Gallagher, John P.

Cover of Logic-Based Program Synthesis and Transformation

No description available.

Logic programmingComputer software, development
Logic-Based Program Synthesis and Transformation by Fabio Fioravanti, Gallagher, John P. — book · Vinony