Publications in Venue "ComputingSurveys"
1. | R. Greiner, C. Darken, N. Iwan Santoso. "Efficient Reasoning". Computing Surveys, 33(1), pp 1--30, March 2001. |
1. | R. Greiner, C. Darken, N. Iwan Santoso. "Efficient Reasoning". Computing Surveys, 33(1), pp 1--30, March 2001. |