Definīcija:Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
LZA TK ITTEA terminu datubāze
64 Tehnoloģija
ENinference
LVizvedums
RUлогический вывод
Definīcija:Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē.
LZA TK ITTEA terminu datubāze
64 Tehnoloģija
ENexport
LVizvedums; eksports
RUэкспорт
DEAusfuhr; Export
FRexportation
Definīcija:1. Kādas zemes saražoto preču pārdošana vai veiktie pakalpojumi citā valstī tiešu darījumu veidā, kā arī izmantojot starpniecības firmas. 2. Uz ārzemēm izvesto preču vai ārzemēs veikto pakalpojumu daudzuma vērtība naudas izteiksmē. Δ ir svarīga maksājumu bilances sastāvdaļa: no tā ir atkatīgs, vai saldo ir pozitīvs vai negatīvs.
Ekonomikas skaidrojošā vārdnīca. — R., Zinātne, 2000
16 Ekonomika
ENexport; removal; taking out
LVizvedums
RUвывоз
DEAusfuhr; Export
Ekonomikas, lietvedības un darba organizācijas termini (ELDO) — R., 1995
16 Ekonomika
ENinference
LVizvedums
RUлогический вывод
Definīcija:1. Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē. 2. Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
64 Tehnoloģija
ENvolume of exports; export volume
LVizvedums; eksporta apjoms
DEAusfuhrvolumen; Ausfuhr; Volumen der Ausfuhren; Ausfuhrmenge