Portal de publicacions
null
Referència: 497
|
|
Volum: 2 (maig 1988)
Data d´edició: 1988
ISSN (format digital): 2013-9829
Descripció física: 79 p. : il·l. ; 23 cm
Editorial: IEC
|
|
Altres números:
|
|
|
|
|
Articles
Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats
Tomàs, Francesc
Problemes proposats a la XXIV Olimpíada matemàtica
|
|
|
|