Dictionnaire breton 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.: informatique , mathématiques

anglais : first-order predicate calculus