Proofs and Heuristics at Recognition of Visual Patternsдоклад на конференции