Higher-Order and Symbolic: Editorial

  1. Martí-Oliet, N.
  2. Roşu, G.
  3. Talcott, C.
Revista:
Higher-Order and Symbolic Computation

ISSN: 1388-3690

Any de publicació: 2007

Volum: 20

Número: 1-2

Pàgines: 1-2

Tipus: Editorial

DOI: 10.1007/S10990-007-9005-1 GOOGLE SCHOLAR
Font de les dades: Scopus