Prihodko, P.P., Institute of Software Systems NAS of Ukraine
-
No 4 (2003) - Theory and Methodology of Programming
Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
Abstract PDF (Українська)