background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search supérieur
Geriadur Klok
Klasket a-raok / Previous search supérieur
logique d'ordre supérieur   lojik urzh uhel g.
mathématiques, informatique, logique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables
en  high-order logic