共 9 条
- [1] [Anonymous], 1997, Technical Report
- [2] REASONING ABOUT NAMING SYSTEMS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
- [3] Brown L. G., 2003, Plant Health Progress, P1, DOI 10.1145/964696.964697
- [4] Forman G., 2003, Journal of Machine Learning Research, V3, P1289, DOI 10.1162/153244303322753670
- [5] Frohlich B., 2000, CHI 2000 Conference Proceedings. Conference on Human Factors in Computing Systems. CHI 2000. The Future is Here, P526, DOI 10.1145/332040.332491
- [6] Sannella M. J., 1994, GAX9509398 UMI U WAS
- [7] Spector Asad Z., 1990, ACM PRESS FRONTIER S, P19, DOI DOI 10.1145/90417.90738
- [8] Tavel P., 2007, MODELING SIMULATION