✦ LIBER ✦

The use of ALGOL 60 for the solution of logical problems

✍ Scribed by O.M. Kastin

Publisher: Elsevier Science
Year: 1970
Weight: 361 KB
Volume: 10
Category: Article
ISSN: 0041-5553
DOI: 10.1016/0041-5553(70)90172-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the logical potentialiti

An extension of the logical potentialities of ALGOL-60

✍ V.P. Gladun; A.A. Letichevskii; S.D. Mikhnovskii; K.M. Podkolzina; Z.L. Rabinovi 📂 Article 📅 1965 🏛 Elsevier Science ⚖ 379 KB

The idea of a function in ALGOL 60

✍ V.V. Lutsikovich 📂 Article 📅 1970 🏛 Elsevier Science ⚖ 209 KB

Realization of recursive procedures in t

Realization of recursive procedures in the language of ALGOL-60

✍ V.I Sobel'man; M.R Shura-Bura 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 925 KB

Use of a dynamic network for the TLM sol

Use of a dynamic network for the TLM solution of diffusion problems

✍ S. K. Dew; X. Gui 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB 👁 3 views

There is a class of material processing simulators which require solution of the diffusion equation over a surface which is evolving due to some physical or chemical process related to the concentration of the diffusing species. Because of its explicit and unconditionally stable nature, the transmis

An algorithm for the solution of a syste

An algorithm for the solution of a system of logical equations

✍ Yu.G. Grigoryan 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 269 KB

The use of complementability in the solu

The use of complementability in the solution of integer programming problems

✍ O.G. Alekseev; V.N. Kolesnikov 📂 Article 📅 1970 🏛 Elsevier Science ⚖ 694 KB