Number of the records: 1
Analysis and Evaluation of Different Methods for Barr Problem Solving
- 1.Húsek, D., Frolov, A., Polyakov, P.Y. Analysis and Evaluation of Different Methods for Barr Problem Solving. Prague: ICS AS CR, 2010. Technical Report, V-1082.
Number of the records: 1