Higher-Order and Symbolic: Editorial
- Martí-Oliet, N.
- Roşu, G.
- Talcott, C.
ISSN: 1388-3690
Ano de publicación: 2007
Volume: 20
Número: 1-2
Páxinas: 1-2
Tipo: Editorial
ISSN: 1388-3690
Ano de publicación: 2007
Volume: 20
Número: 1-2
Páxinas: 1-2
Tipo: Editorial