HOL

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

Система автоматизации доказательств для логики высших порядков.

Сайт разработчика: http://hol.sourceforge.net/


Разместил: vikos 24 Июль 2012 в 18:53