процедура подання
1Машина вывода — Машина вывода  программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае  утверждение, являющееся постоянно истинным, например:… …
2Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …
3Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …
417.140.20 — Шум, створюваний машинами та устаткованням ГОСТ 8.475 82 ГСИ. Стандартный коэффициент шума и эквивалентная шумовая температура усилительных и приемных устройств. Методика выполнения измерений ГОСТ 12.1.023 80 ССБТ. Шум. Методы установления… …
535.240.15 — Ідентифікаційні картки та відповідні пристрої ДСТУ 2792 94 Картки ідентифікаційні. Картки на інтегральних мікросхемах безконтактні. Фізичні характеристики ДСТУ 3615 1 97 (ISO/IEC 7811 1:1995) Картки ідентифікаційні. Методи записування. Частина 1 …
