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

automatisk deduktion (Dansko)

Področje: Information technology and data processing

Dansko: automatisk bevisførelse ,
Nemško: mechanische Beweisführung
Grško: αυτόματο συμπέρασμα , μηχανική απόδειξη θεωρημάτων
Angleško: automatic deduction , mechanical theorem proving
Špansko: deducción automática
Finsko: automaattinen deduktio , automaattinen päätelmä
Francosko: démonstrateur de théorèmes , démonstration automatique de théorèmes
Italijansko: prova automatica di teoremi
Nizozemsko: automatisch bewijzen van theorema's
Portugalsko: dedução automática , demonstração automática de teoremas
Švedsko: automatisk teorembevisning



Vir: IATE - Evropska unija

Komentiraj slovarski sestavek