Вы здесь

Bodin E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Multi-Agent Text Analysis Based on Ontology of Subject Domain 2014 Garanina N., Sidorova E., Bodin E. PSI 14 05.08.2014
СТ A Multi-agent Text Analysis Based on Ontology of Subject Domain 2015 Garanina N., Sidorova E., Bodin E. Lecture Notes in Computer Science 02.09.2015
СТ F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers 2009 Shilov N., Bodin E. PSI 09 IW on Program Understanding 24.07.2009
СТ Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler 2010 Shilov N., Bodin E., Shilova S. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011
СТ Using SPIN for Verification of Multi-agent Data Analysis 2014 Garanina N., Bodin E., Sidorova E. Proc./9th International Computer Science Symposium in Russia 10.06.2014