Mechanizing hypothesis formation :
mathematical foundations for a general theory /
P. Hájek, T. Havránek.

Description

Main Author

Hájek, Petr.

Related Names

Havránek, Tomáš.

Language(s)

English

Published

Berlin ; Springer-Verlag, 1978.

Subjects

Logic, Symbolic and mathematical.
Induction (Mathematics)
Artificial intelligence.

Note

Bibliography: p.[387]-396.

Physical Description

xv, 396 p. : ill. ; 25 cm.

Locate a Print Version

Find in a library

Viewability