Внесок користувача РоманСузи
Користувач здійснив 1 редагування. Обліковий запис створено 23 січня 2015.
20 березня 2015
- 19:0819:08, 20 березня 2015 різн. історія −87 Satisfiability Modulo Theories →SMT розв'язувачі: http://deepblue.lib.umich.edu/bitstream/handle/2027.42/63772/liffiton_1.pdf?sequence=1 page 4 Мітка: перше редагування