Number of the records: 1
Analysis and Evaluation of Different Methods for Barr Problem Solving
- 1.Húsek, Dušan - Frolov, A. - Polyakov, P.Y.
Analysis and Evaluation of Different Methods for Barr Problem Solving.
Prague: ICS AS CR, 2010. 27 s. Technical Report, V-1082.
http://hdl.handle.net/11104/0188882
Number of the records: 1