![](/img/cover-not-exists.png)
[ACM Press the 1985 ACM thirteenth annual conference - New Orleans, Louisiana, United States (1985..-..)] Proceedings of the 1985 ACM thirteenth annual conference on Computer Science - CSC '85 - Program synthesis based on Boyer-Moore theorem proving techniques
Yong-qiang, Sun, Ru-zhan, Lu, Hua, BiYear:
1985
Language:
english
DOI:
10.1145/320599.320709
File:
PDF, 735 KB
english, 1985