Iskani niz je bil najden v IZTOČNICAH:
lógica de fluidos
Information technology and data processing
da
digital fluidik
de
Digital-Fluidik
,
Digitalfluidik
el
ψηφιακή υδραυλική λογική
en
fluid logic
es
lógica hidráulica
fi
fluidilogiikka
fr
logique à fluide
nl
binaire fluidumbesturingstechniek
pt
lógica por fluidos
sv
fluidlogik
lógica de gestão de erros
Information technology and data processing
da
logisk enhed til fejlstyring
de
logisches Element zur Fehlerbeseitigung
el
λογική μονάδα διαχείρισης σφαλμάτων
en
error management logic
es
lógica de gestión de errores
fr
logique de gestion des erreurs
it
logica di gestione di errori
nl
logische foutenbeheerseenheid
lógica de Hoare
Information technology and data processing
en
Hoare's logic
fr
logique de Hoare
logica dei predicati
Information technology and data processing
da
prædikatskalkyle
,
prædikatslogik
de
Prädikatenlogik
,
Prädikatenlogik 1.Ordnung
el
κατηγορηματική λογική
,
κατηγορηματικός λογισμός
en
FOPL,FOPC
,
first order logic
,
first-order predicate calculus
,
first-order predicate logic
,
predicate calculus
,
predicate logic
es
cálculo de predicados
,
lógica de predicados
fi
predikaattilaskenta
,
predikaattilogiikka
fr
calcul de prédicats
,
calcul des prédicats
,
logique de 1er ordre
,
logique des prédicats
it
calcolo dei predicati
,
logica del primo ordine
nl
predikatenlogica
,
predikatenrekening
pt
lógica de predicados
sv
predikatslogik
lógica de la parada después del disparo
da
nedlukningslogik
el
λογικό σύστημα διακοπής της λειτουργίας μετά από αναγκαστική κράτηση
en
post-trip shutdown logic
fr
logique d'arrêt après déclenchement
it
logica di arresto post-scatto
nl
afschakellogica na aanspreken van de grenswaarde
pt
lógica de paragem após desencadeamento
lógica del aprendizaje
Information technology and data processing
da
generaliseret deltaregel
de
verallgemeinerte Delta Regel
el
γενικευμένος κανόνας Δέλτα
en
generalized delta rule
es
regla delta generalizada
fi
yleistetty deltasääntö
fr
règle delta généralisée
it
regola delta generalizzata
nl
gegeneraliseerde delta-regel
pt
regra delta generalizada
sv
generaliserad deltaregel
logica del secondo ordine
Information technology and data processing
da
anden ordens logik
,
anden ordens prædikatskalkyle
,
logik af anden orden
,
prædikatskalkyle af anden orden
de
Prädikatenlogik 2.Ordnung
el
κατηγορηματική λογική δευτέρου βαθμού
,
κατηγορηματικός λογισμός δευτέρου βαθμού
,
λογική δευτέρου βαθμού
en
second order logic
,
second-order predicate calculus
,
second-order predicate logic
es
cálculo de predicados de segundo orden
,
lógica de predicados de segundo orden
,
lógica de segundo orden
fi
toisen kertaluvun logiikka
,
toisen kertaluvun predikaattilaskenta
,
toisen kertaluvun predikaattilogiikka
fr
logique d'ordre 2
,
logique du deuxième ordre
nl
tweede orde logica
,
tweede orde predikatenlogica
,
tweede orde predikatenrekening
pt
lógica de predicados de segunda ordem
sv
andra ordningens logik
logica del sistema d'arma
Defence
Communications
de
Logik für Waffensystem
,
WS-Logik
el
λογικό κύκλωμα οπλικού συστήματος
en
weapon system logic
es
lógica de sistema de arma
fr
logique de système d'arme
it
logica del sistema d'armamento
nl
wapensysteemlogica
pt
lógica de sistema de armas
lógica de programa
Information technology and data processing
da
program logic
de
Programmlogik
el
λογική του προγράμματος
en
program logic
fi
ohjelmalogiikka
fr
logique d'un programme
it
logica di un programma
nl
logica van een programma
pt
lógica de programa
sv
programlogik
lógica de proposiciones
Information technology and data processing
da
udsagnskalkyle
,
udsagnslogik
de
Aussagenlogik
,
propositionale Logik
el
προτασιακή λογική
,
προτασιακός λογισμός
en
propositional calculus
,
propositional logic
es
cálculo de proposiciones
,
cálculo proposicional
,
lógica proposicional
fi
propositiolaskenta
,
väittämälogiikka
fr
LP
,
calcul des propositions
,
calcul propositionnel
,
logique de proposition
,
logique propositionnelle
it
logica proposizionale
nl
propositielogica
,
uitspraakrekening
pt
cálculo proposicional
,
lógica proposicional
sv
satskalkyl
,
satslogik