• Išči po:
Vrni se na prejšnjo stran

déduction naturelle (Francosko)

Področje: Information technology and data processing

Dansko: naturlig deduktion , uformel ræsonneren
Nemško: natürliche Deduktion , natürliches Schließen
Grško: άτυπη συλλογιστική , απόδειξη θεωρημάτων χωρίς επίλυση , φυσικό συμπέρασμα
Angleško: informal reasoning , natural deduction , nonresolution theorem proving
Špansko: deducción natural , demostración de teoremas "no por resolución" , razonamiento informal
Finsko: luonnollinen päättely
Italijansko: deduzione naturale
Nizozemsko: informele redenering , natuurlijke deductie
Portugalsko: dedução natural , raciocínio informal
Švedsko: naturlig deduktion



Vir: IATE - European Union, 2016

Komentiraj slovarski sestavek