delski problem (HOL)
delski problem, nerješivi antički geometrijski zadatak ...
HE HOL2 HOL

Menehmo (HOL)
Menehmo, grčki matematičar ...
HE HOL2 HOL

upit: delski problem; pronađenih odgovora: 2; vrijeme izvršavanja upita: 93 ms