Dictionnaire breton 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

anglais : first-order predicate calculus