Skip to content
Vinony

Logic-Based Program Synthesis and Transformation

by Hutchison, David - undifferentiated

Cover of Logic-Based Program Synthesis and Transformation

No description available.

Logic designSoftware engineeringAlgorithmsComputer scienceArtificial intelligenceLogic programmingCongresses