Úvod » Matematika a fyzika » P. Hájek, T. Havránek, M. K. Chytil: Metoda Guha. Automatická tvorba hypotéz