Содержательный смысл определений раскрывается словесными пояснениями. Оставаясь на чисто формальных позициях, можно считать, что любая ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Замулин А.В.
Системы программирования баз данных и знаний
Содержательный смысл определений раскрывается словесными пояснениями. Оставаясь на чисто формальных позициях, можно считать, что любая реализация типа удовлетворяет приводимым спецификациям, если для каждого атрибута она предоставляет вычисления с аргументами указанных типов и приводит к результату указанного типа.
