- терм произведения
-
product term
Англо-русский словарь технических терминов. 2005.
терм произведения
Смотреть что такое "терм произведения" в других словарях:
Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… … Большая советская энциклопедия
Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… … Большая советская энциклопедия
Рим — столица Италии. Город находится на р. Тибр, древнейшее название которой Румо или Румон послужило основой для образования названия Рим (итал. Roma). Предполагается, что название реки связано с наименованием одного из племен этрусков древнего… … Географическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Изобразительное искусство Армении — … Википедия
Кухня Древнего Рима — «Розы Гелиогабала». Картина, иллюстрирующая рассказ «Истории августов» … Википедия
Термы Каракаллы — Термы Каракаллы (лат. Thermae Antoninianae, итал. Terme di Caracalla) … Википедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
Римское искусство* — Римляне, отличавшиеся большим практическим смыслом в решении задач материальной жизни, умевшие создать у себя стройный склад гражданственности, утвердить свою военную силу и широко распространить свое политическое могущество, были лишь в слабой… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Чертоза — так называются в Италии довольно многочисленные монастыри, основанные иноками картезианского ордена (см.) и построенные для последних. Некоторые из этих монастырей представляют собой замечательные памятники архитектуры и содержат в себе… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
