Home > Reports > Research reports > 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
Original title:
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
Authors:
Hájek, Petr ; Havránek, Tomáš Document type: Research reports
Year:
2002
Language:
eng Series:
Technical Report, volume: V-859 Project no.: AV0Z1030915 (CEP)
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.