scientific article; zbMATH DE number 3890767

MaRDI QIDQ3347334zbMATH OpenFDO

Authors V. A. Tuzov, A. I. Troyan, N. V. Fotiev

Publication date 1984

zbMATH Keywords

compilerscomputabilitycognitive systemsknowledge representation systemscomputer programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4049008
• Metamathematical fundamental concepts of computer programming
• scientific article; zbMATH DE number 1088217
• scientific article; zbMATH DE number 4037166
• scientific article; zbMATH DE number 4021108

Cited in

(9)

• scientific article; zbMATH DE number 48697 (Why is no real title available?)
• Programming and automating mathematics in the Tarski-Kleene hierarchy
• An informal introduction to a high level language with applications to interval mathematics
• A survey of languages for formalizing mathematics
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)
• scientific article; zbMATH DE number 3942990 (Why is no real title available?)
• scientific article; zbMATH DE number 3924175 (Why is no real title available?)
• scientific article; zbMATH DE number 3913724 (Why is no real title available?)
• scientific article; zbMATH DE number 3950242 (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 Q3347334)