Mechanizing hypothesis formation : mathematical foundations for a general theory /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1978
|
| Subjects: |
| _version_ | 1826397931440177152 |
|---|---|
| author | 440052 Hajek, Petr Havrahek, T. |
| author_facet | 440052 Hajek, Petr Havrahek, T. |
| author_sort | 440052 Hajek, Petr |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T22:57:25Z |
| format | |
| id | KOHA-OAI-TEST:209434 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:57:25Z |
| publishDate | 1978 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2094342020-12-19T17:06:03ZMechanizing hypothesis formation : mathematical foundations for a general theory / 440052 Hajek, Petr Havrahek, T. Berlin : Springer-Verlag,197857PSZKLLAutomatic hypothesis formationURN:ISBN:3540087389 |
| spellingShingle | Automatic hypothesis formation 440052 Hajek, Petr Havrahek, T. Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title | Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title_full | Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title_fullStr | Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title_full_unstemmed | Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title_short | Mechanizing hypothesis formation : mathematical foundations for a general theory / |
| title_sort | mechanizing hypothesis formation mathematical foundations for a general theory |
| topic | Automatic hypothesis formation |
| work_keys_str_mv | AT 440052hajekpetr mechanizinghypothesisformationmathematicalfoundationsforageneraltheory AT havrahekt mechanizinghypothesisformationmathematicalfoundationsforageneraltheory |