Mathematics in Science and Technology: Mathematical Methods, Models and Algorithms in Science and Technology. Abstracts of the Satellite Conference of ICM 2010сборник

Статьи, опубликованные в сборнике

---

• • 2010 Sequent computational model based on lambda calculi
  • Kuzichev Alexander
  • в сборнике Mathematics in Science and Technology: Mathematical Methods, Models and Algorithms in Science and Technology. Abstracts of the Satellite Conference of ICM 2010, место издания New Delhi, тезисы