Iskani niz je bil najden v IZTOČNICAH:
Hoare-logica
Information technology and data processing
da
Hoaresk logik
de
Hoaresche Logik
el
λογική του HOARE
en
Hoare's logic
es
lógica de HOARE
fi
Hoare-logiikka
,
Hoaren logiikka
fr
logique de Hoare
it
logica Hoare
pt
lógica de Hoare
sv
Hoare-logik
HTL-logica
Information technology and data processing
Electronics and electrical engineering
da
HTL-logik
de
HTL-Logik
el
HTL
,
λογική υψηλού κατωφλίου
en
HTL
,
high-threshold logic
es
lógico umbral alto
fi
HTL-logiikka
,
häiriösietoinen logiikka
fr
logique a seuil eleve
,
logique a seuil haut
it
logica a soglia elevata
pt
lógica de limiar elevado
sv
HTL-logik
independencia lógica
Information technology and data processing
da
logisk uafhængighed
de
logische Datenunabhängigkeit
el
λογική ανεξαρτησία
en
logical independence
fi
looginen riippumattomuus
fr
indépendance logique
it
indipendenza logica
nl
logische onafhankelijkheid
pt
independência lógica
sv
logiskt dataoberoende
inferencia lógica por segundo
Information technology and data processing
da
LIPS
,
logiske følgeslutninger per sekund
,
logiske slutninger per sekund
de
logische Folgerung pro Sekunde
,
logische Schlußfolgerung pro Sekunde
el
λογική συλλογιστική ανά δευτερόλεπτο
,
λογική συναγωγή ανά δευτερόλεπτο
en
lips
,
logical inference per second
fi
LIPS
,
loogisten päättelyiden määrä sekunnissa
fr
inférence logique par seconde
,
lips
it
deduzioni logiche al secondo
,
inferenze logiche al secondo
nl
logische gevolgtrekkingen per seconde
pt
inferências lógicas por segundo
,
lips
sv
lips
,
logiska slutledningar per sekund
inferência lógica por segundo
Information technology and data processing
da
LIPS
,
logisk inferens per sekund
de
LIPS
el
λογικό συμπέρασμα ανά δευτερόλεπτο
en
LIPS
,
logical inference per second
es
inferencias lógicas por segundo
fi
loogisten päättelyiden määrä sekunnissa LIPS
fr
LIPS
,
inférence logique par seconde
it
inferenza logica al secondo
nl
LIPS,wordt vaak gebruikt voor het aangeven van de snelheid van een prolog interpreter
,
logische gevolgtrekkingen per seconde
,
logische inferentie per seconde
sv
LIPS
instrução lógica
Information technology and data processing
da
logisk ordre
de
Logikinstruktion
,
logische Instruktion
el
λογική εντολή
en
logical instruction
es
instrucción lógica
fi
looginen käsky
fr
instruction logique
it
istruzione logica
nl
logische instructie
sv
logisk instruktion
instrução lógica
Information technology and data processing
da
logisk instruktion
,
logisk ordre
de
logischer Befehl
el
λογική εντολή
en
logic instruction
es
instrucción lógica
fi
logiikkakäsky
fr
instruction logique
it
istruzione logica
nl
logische bewerking
,
logische instructie
,
logische opdracht
sv
logikinstruktion
integrale Boole-logica
Information technology and data processing
da
fuld algebraisk logik
de
ganze boolesche Logik
el
εξ ολοκλήρου αλγεβρική λογική
en
full-algebraic logic
es
lógica algebraica completa
fi
täysin algebrallinen logiikka
fr
logique booléenne intégrale
it
logica booleana integrale
intu<tionistische logica
Information technology and data processing
da
intuitiv logik
,
intuitivistisk logik
de
Brouwersche Logik
,
intuitionistische Logik
el
διαισθητική λογική
,
διαισθητιστική λογική
en
intuitionistic logic
es
lógica intuicionista
fi
intuitiologiikka
fr
logique intuitionniste
it
logica intuizionista
pt
lógica intuicionista
sv
intuitionistisk logik
istruzione di scelta logica
Information technology and data processing
Technology and technical regulations
da
beslutningsordre
de
Entscheidungsbefehl
el
εντολή απόφασης
en
decision instruction
,
discrimination instruction
es
instrucción de discriminación
fr
instruction de décision
nl
beslissingsopdracht
pt
instrução de decisão
sv
beslutsinstruktion
Dostopnost