نتایج جستجو

Advances in Computing Science — ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings
Michael O. Rabin (auth.), R. K. Shyamasundar, K. Ueda (eds.), 1997
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings
I. J. Hayes, R. G. Nickson, P. A. Strooper (auth.), John Gallagher (eds.), 1997