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

first order logic (Angleško)

Področje: Information technology and data processing

Dansko: prædikatskalkyle , prædikatslogik
Nemško: Prädikatenlogik , Prädikatenlogik 1.Ordnung
Grško: κατηγορηματική λογική , κατηγορηματικός λογισμός
Angleško: FOPL,FOPC , first-order predicate calculus , first-order predicate logic , predicate calculus , predicate logic
Špansko: cálculo de predicados , lógica de predicados
Finsko: predikaattilaskenta , predikaattilogiikka
Francosko: calcul de prédicats , calcul des prédicats , logique de 1er ordre , logique des prédicats
Italijansko: calcolo dei predicati , logica dei predicati , logica del primo ordine
Nizozemsko: predikatenlogica , predikatenrekening
Portugalsko: lógica de predicados
Švedsko: predikatslogik



Vir: IATE - European Union, 2016

Komentiraj slovarski sestavek