OTTER

0
Ваша оценка: Нет

OTTER - программа автоматического доказательства теорем

Сайт разработчика: http://www.cs.unm.edu/~mccune/otter/
Что почитать?


Разместил: vikos 19 Июль 2012 в 14:55