01171nam a2200325 i 450099100113452970753620020507183906.0960622s1978 de ||| | eng 3540087389b10805643-39ule_instLE01307595ExLDip.to Matematicaeng511.3AMS 03B35Hájek, Petr48949Mechanizing hypothesis formation :mathematical foundations for a general theory /P. Hájek, T. HavránekBerlin :Springer-Verlag,1978xv, 396 p. :ill. ;25 cm.UniversitextBibliography: p. [387]-396.Includes indexAutomatic hypothesis formationMechanization of proofs and logical operationsHavránek, Tomas.b1080564323-02-1728-06-02991001134529707536LE013 03B HAJ11 (1978)12013000051932le013-E0.00-l- 01010.i1091023228-06-02Mechanizing Hypothesis Formation384221UNISALENTOle01301-01-96ma -engde 01