✦ LIBER ✦

Certain deductive means in a system of processing mathematical texts

✍ Scribed by A. I. Degtyarev; A. P. Zhezherun; A. V. Lyaletskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Instrumental means for the design of pro

✍ V. M. Glushkov; Yu. V. Kapitonova; A. A. Letichevskii 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 717 KB

Organization of a dictionary in learning

✍ V. P. Gladun; I. A. Sakunov 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 529 KB

Basic means of data processing for probl

✍ A. A. Alekseev 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 378 KB

The feasibility of utilizing a mathemati

✍ J. Michalov 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

Towards a Multi-Level Approach to the Em

✍ João Queiroz; Charbel Niño El-Hani 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 610 KB

Evaluation of certain parameters of the

✍ Yu. S. Lipatov; É. Ya. Gorichko; L. M. Sergeeva; A. A. Brovko; V. F. Rosovitskii 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 324 KB