Iskani niz je bil najden v IZTOČNICAH:
FORMAS, el marco formal consiste en: una máquina de estados, basada en el dominio de Scott, para el modelo matemático, lógica de Hoare y lógica temporal para la corrección en análisis y concepción
Information technology and data processing
da
formelle metoder for asynkrone systemer
de
Formale Methode für asynchrone Systeme
el
τυπικές μέθοδοι για ασύγχρονα συστήματα
en
FORMAS
,
Formal methods for asynchronous systems
es
métodos formales para sistemas asíncronos
fi
asynkronisten järjestelmien formaalit menetelmät(FORMAS)
fr
Méthodes formelles pour systèmes asynchrones
it
metodi formali per sistemi asincroni
nl
formele methoden voor asynchrone systemen
pt
métodos formais para sistemas assíncronos
sv
FORMAS
función lógica
Electronics and electrical engineering
da
logisk funktion
de
logische Funktion
el
συνάρτηση λογική
en
logic function
fi
looginen funktio
,
looginen toiminto
fr
équation logique
it
funzione logica
nl
logische functie
pt
função lógica
sv
logisk funktion
función lógica
Electronics and electrical engineering
da
logisk funktion
de
Digitalfunktion
,
logische Funktion
el
συνάρτηση λογική
en
logic function
fi
looginen funktio
,
looginen toiminto
fr
fonction logique
it
funzione logica
nl
digitale functie
,
logische functie
pt
função lógica
sv
logisk funktion
función lógica acoplada a un enlace
Information technology and data processing
da
logisk funktion som grænseflade
de
logische Schnittstelle-Funktion
el
λογική λειτουργία διασύνδεσης
en
logic function to interface
fr
fonction logique d'interface
it
funzione logica di interfaccia
nl
logische functie voor koppeling
pt
função lógica de interface
gestión lógica
Information technology and data processing
da
logisk styring
en
logic management
,
logic management of terminals
fi
looginen hallinta
fr
gestion logique
,
gestion logique des terminaux
it
gestione logica
pt
gestão lógica
sv
logisk styrning
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
Instituto de Lógica, Cognición, Lenguaje e Información
Natural and applied sciences
en
ILCLI
,
Institute for Logic, Cognition, Language and Information
es
ILCLI
,
instrucción lógica
Information technology and data processing
da
logisk ordre
de
Logikinstruktion
,
logische Instruktion
el
λογική εντολή
en
logical instruction
fi
looginen käsky
fr
instruction logique
it
istruzione logica
nl
logische instructie
pt
instrução lógica
sv
logisk instruktion
instrucción lógica
Information technology and data processing
da
logisk instruktion
,
logisk ordre
de
logischer Befehl
el
λογική εντολή
en
logic instruction
fi
logiikkakäsky
fr
instruction logique
it
istruzione logica
nl
logische bewerking
,
logische instructie
,
logische opdracht
pt
instrução lógica
sv
logikinstruktion
Dostopnost