Iskani niz je bil najden v IZTOČNICAH:
HLL-logica
Electronics and electrical engineering
da
HLL logik
de
HLL-Logik
,
Hochwertlogik
el
λογική HHL
,
λογική υψηλής στάθμης
en
HLL logic
es
formación lógica HLL
,
lógico de alto nivel
fi
korkeajännitelogiikka
fr
logique à niveau élevé(HLL)
it
logica HLL
pt
lógica HLL
sv
HLL-logik
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
independência lógica
Information technology and data processing
da
logisk uafhængighed
de
logische Datenunabhängigkeit
el
λογική ανεξαρτησία
en
logical independence
es
independencia lógica
fi
looginen riippumattomuus
fr
indépendance logique
it
indipendenza logica
nl
logische onafhankelijkheid
sv
logiskt dataoberoende
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
inferenza logica automatizzata
Information technology and data processing
de
automatisierte logische Interferenz
el
αυτοματοποιημένη λογική συναγωγή συμπερασμάτων
en
automated logical inference
es
automatización de la inferencia lógica
fr
inférence logique automatisée
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