Number of the records: 1
Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9
- 1.0404570 - UIVT-O 220424 CZ eng V - Research Report
Hájek, Petr - Havránek, Tomáš
Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9.
Prague: ICS AS CR, 2002. 321 s. Technical Report, V-859.
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124818
File Download Size Commentary Version Access v859-02.pdf 16 2.2 MB Other open-access
Number of the records: 1