scientific article; zbMATH DE number 3550205

From MaRDI portal

Revision as of 08:33, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4124353

Jump to:navigation, search

zbMath0353.68090MaRDI QIDQ4124353

Petr Hájek

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4124353&oldid=17908720"