共 15 条
[1]
[Anonymous], 2011, ENERG CONVERS MANAGE, DOI [10.1145/511446.511457, DOI 10.1145/511446.511457, DOI 10.1016/j.enconman.2010.05.023]
[2]
[Anonymous], 1993, A Small Matter of Programming: Perspectives on End User Computing
[3]
Fiedler L., 2014, SYSTEMS METHODS COMP
[4]
GREEN C, 1969, APPL THEOREM PROVING, P219
[5]
Lamprecht A.-L, 2010, ACM T PROGRAM LANG S
[6]
Lamprinou A., 2011, Journal ofPopular RomanceStudies, V2, P1
[7]
Mangalindan J., 2012, ACM T PROGRAM LANG S, V7
[8]
Manna Z., 1980, ACM Transactions on Programming Languages and Systems, V2, P90, DOI 10.1145/357084.357090
[9]
McIlraith S., 2002, NMR, P356