Mechanizing hypothesis formation
Subtitle: mathematical foundations for a general theory
By: P. Hájek, T. Havránek.
Contributors: Havránek, Tomas, joint author.
Series: Universitext
Publisher: Springer-Verlag
Published: 1978
Place of publication: Berlin; New York
Language: eng
Number of pages: 396
Subjects: Automatic hypothesis formation.
Notes: Bibliography: p. [387]-396.
Includes index.