D4.2 Report on trends and drivers of change for RD, resulting from ...
s y stem is modeled by an alge b ra , for exam p le , [33 , 4 , 22 , 29 , 5 9 , 2 0 , 1 6 , 2 3] . ... order-sorted alge b ras , and fi rst-order structures. In ... 
Autres Cours:
