Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search ordre

calcul des prédicats du premier ordre jederezh ar predikadoù kentañ urzh g.: mathématiques, informatique

en first-order predicate calculus