20/33 - text příspěvku - Jan Max Honzík / VUT Brno - 20 s.

aplikovaná_matematika  (! dokazování programu),