Iskani niz je bil najden v IZTOČNICAH:
Deduktion
de
Folgerung
en
deduction
fr
déduction
it
deduzione
nl
deductie
,
deduktie
pt
dedução
deduktion
da
afledning
,
de
Ableitung
el
αφαίρεσις
en
deduction
es
deducción
fr
déduction(f.)
it
deduzione
nl
deductie
,
deductio
pt
dedução
,
ilação
sl
odbitek
deduktion
da
udledning
de
Deduktion
el
επαγωγή
en
deduction
es
deducción
fr
déduction
it
deduzione
nl
deductie
,
deductio
pt
dedução
Deduktion
de
Folgerung
en
deduction
es
deducción
fr
déduction
it
deduzione
nl
deductie
pt
dedução
deduktion
Information technology and data processing
de
Deduktion
el
συμπέρασμα
,
τυπικό συμπέρασμα
en
deduction
,
formal inference
,
legal inference
es
deducción
,
inferencia formal
fi
deduktio
,
päättely
fr
déduction
,
inférence rigoureuse
,
inférence valide
it
deduzione
nl
deductie
,
formele gevolgtrekking
,
formele inferentie
pt
dedução
sv
deduktion
automatisk deduktion
Information technology and data processing
da
automatisk bevisførelse
,
de
mechanische Beweisführung
el
αυτόματο συμπέρασμα
,
μηχανική απόδειξη θεωρημάτων
en
automatic deduction
,
mechanical theorem proving
es
deducción automática
fi
automaattinen deduktio
,
automaattinen päätelmä
fr
démonstrateur de théorèmes
,
démonstration automatique de théorèmes
it
prova automatica di teoremi
nl
automatisch bewijzen van theorema's
pt
dedução automática
,
demonstração automática de teoremas
sv
automatisk teorembevisning
Deduktion aus Informationen
Information technology and data processing
da
følgeslutning
el
επαγωγή πληροφορίας
en
information inference
es
inferencia de información
fi
informaatioinferenssi
,
päättely tietojen perusteella
fr
déduction d'informations
it
deduzione di informazioni
,
inferenza di informazioni
nl
inferentie van informatie
natürliche Deduktion
Information technology and data processing
da
naturlig deduktion
,
uformel ræsonneren
de
natürliches Schließen
el
άτυπη συλλογιστική
,
απόδειξη θεωρημάτων χωρίς επίλυση
,
φυσικό συμπέρασμα
en
informal reasoning
,
natural deduction
,
nonresolution theorem proving
es
deducción natural
,
demostración de teoremas "no por resolución"
,
razonamiento informal
fi
luonnollinen päättely
fr
déduction naturelle
it
deduzione naturale
nl
informele redenering
,
natuurlijke deductie
pt
dedução natural
,
raciocínio informal
sv
naturlig deduktion
naturlig deduktion
Information technology and data processing
de
natürliches Schließen
el
φυσικό συμπέρασμα
en
natural deduction systems of logic
es
deducción natural
fi
logiikan luonnolliset päättelyjärjestelmät
fr
système logique de déduction naturelle
it
deduzione naturale
nl
natuurlijke deductie
pt
dedução natural
sv
naturlig deduktion
Dostopnost