Victor Malyshkin. Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories. In Hamido Fujita, Roberto Revetria, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26~28, 2012. Volume 246 of Frontiers in Artificial Intelligence and Applications, pages 285-291, IOS Press, 2012. [doi]
Abstract is missing.