Higher-Order and Symbolic: Editorial

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

ISSN: 1388-3690

Année de publication: 2007

Volumen: 20

Número: 1-2

Pages: 1-2

Type: Éditorial

DOI: 10.1007/S10990-007-9005-1 GOOGLE SCHOLAR
La source de données: Scopus