scientific article; zbMATH DE number 3913724

MaRDI QIDQ3690260zbMATH OpenFDO

Authors Valentin Antimirov, N. N. Diduk, V. N. Koval

Publication date 1985

zbMATH Keywords

formalized languagessemantics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(8)

• Proposal for a universal formalized language of knowledge
• Spaces of local objects for semantic interpretation of problems. I
• Language and communication problems in formalization: a natural language approach
• scientific article; zbMATH DE number 4037247 (Why is no real title available?)
• scientific article; zbMATH DE number 67502 (Why is no real title available?)
• scientific article; zbMATH DE number 1979639 (Why is no real title available?)
• scientific article; zbMATH DE number 2050948 (Why is no real title available?)
• scientific article; zbMATH DE number 1498431 (Why is no real title available?)

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 Q3690260)