Mechanizing hypothesis formation : mathematical foundations for a general theory

Author(s)

• Hájek, Petr
• Havránek, Tomáš

Bibliographic Information

Mechanizing hypothesis formation : mathematical foundations for a general theory

P. Hájek, T. Havránek

（Universitext）

Springer-Verlag, 1978

Note

Bibliography: p. [387]-396

Includes index

Details

• NCID: BA00654758
• ISBN:
  • 0387087389
  • 3540087389
• LCCN: 78326458
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xv, 396 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.A955
• Subject Headings:
  • LCSH : Automatic hypothesis formation
• Parent Bibliography ID:
  • BA00021004