Iskani niz je bil najden v IZTOČNICAH:
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 orden programable
Information technology and data processing
en
PAL
,
programmable array logic
es
PAL
,
matriz programable
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
lógica de red programable
Information technology and data processing
Electronics and electrical engineering
da
PAL
,
programmerbar matrix
de
PAL
,
programmable array logic
el
προγραμματιζόμενος πίνακας λογικής
en
PAL
,
programmable array logic
fr
CLP
,
PAL
,
circuit logique programmable
,
logique à rangée programmable
it
PAL
,
chip programmabili mediante fusibili
nl
programmeerbare array-logica
pt
PAL
,
lógica programável
sv
programmerbar logikmatris
Dostopnost