TY  - BOOK
AU  - Hajek,P.
AU  - Havranek,T
TI  - Mechanizing hypothesis formation: mathematical foundations for a general theory 
SN  - 0387087389  :
U1  - 510.1 
PY  - 1978///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic hypothesis formation
ER  -