Home

Haajek_Petr.



Mechanizing hypothesis formation :mathematical foundations for a general theory