scientific article; zbMATH DE number 3890767

zbMATH Open0558.68075MaRDI QIDQ3347334FDOQ3347334

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

Publication date: 1984

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

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

zbMATH Keywords

compilerscomputabilitycognitive systemsknowledge representation systemscomputer programming

Mathematics Subject Classification ID

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

Cited In (9)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)