Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search premier

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

anglais : first-order predicate calculus