Hlavní stránka > Zprávy > Výzkumné zprávy > 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
Název:
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
Autoři:
Hájek, Petr ; Havránek, Tomáš Typ dokumentu: Výzkumné zprávy
Rok:
2002
Jazyk:
eng
Edice: Technical Report, svazek: V-859 Číslo projektu: AV0Z1030915 (CEP)
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.