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]
@inproceedings{Malyshkin12,
title = {Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories},
author = {Victor Malyshkin},
year = {2012},
doi = {10.3233/978-1-61499-125-0-285},
url = {http://dx.doi.org/10.3233/978-1-61499-125-0-285},
researchr = {https://researchr.org/publication/Malyshkin12},
cites = {0},
citedby = {0},
pages = {285-291},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26~28, 2012},
editor = {Hamido Fujita and Roberto Revetria},
volume = {246},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-124-3},
}