Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011сборник

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

---

• 
  • 2011 Natural Deduction System in Paraconsistent Setting: proof search for PCont
  • Bolotov A.E., Shangin V.O.
  • в сборнике Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011, тезисы, с. 632-640