OTTER - программа автоматического доказательства теорем
Сайт разработчика: http://www.cs.unm.edu/~mccune/otter/ Что почитать?
Разместил: vikos 19 Июль 2012 в 14:55