scientific article; zbMATH DE number 3624813

zbMath0402.68060MaRDI QIDQ4187335

Pavel Materna

Publication date: 1978

Full work available at URL: https://eudml.org/doc/27432

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

zbMATH Keywords

Natural LanguagesData DescriptionLanguages for Data BasesModification of Church's Simple Theory of Types

Mathematics Subject Classification ID

Artificial intelligence (68T99) Data structures (68P05)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Sets
• Universal grammar
• A formulation of the simple theory of types

This page was built for publication: