Akademik
knowledge representation-reasoning system
система представления знаний и построения логических рассуждений
Англо-русский словарь по машиностроению
.
Академик.ру
.
2011
.