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

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search arenn

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

en first-order predicate calculus