Mechanizing hypothesis formation
Subtitle: mathematical foundations for a general theory
By: by Petr Hájek and Tomáš Havránek
Contributors: Havránek, Tomáš. joint author
Publisher: Springer-Verlag
Published: 1978
Place of publication: Berlin
Language: eng
Number of pages: 396
Subjects: Computer simulation; Symbolic and mathematical Logic; Artificial intelligence
Notes: Includes index.

Universitext.

Bibliography: p. 387.