Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computingсборник

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

---

• 
  • 2006 Natural Deduction Calculus for Computation Tree Logic
  • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
  • в сборнике Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, серия JVA ’06, место издания IEEE Computer Society Washington, DC, USA, с. 175-183 DOI