scientific article; zbMATH DE number 3550205

zbMATH Open0353.68090MaRDI QIDQ4124353FDOQ4124353

Authors: Petr Hájek 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited In (3)

• Complexity in mechanized hypothesis formation
• Finite-model theory -- A personal perspective
• Formal logics of discovery and hypothesis formation by machine

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4124353)