CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
English[No abstract available]
Danvy, O., Henglein, F., Mairson, H., & Pettorossi, A. (2005). Higher-order and symbolic computation: editorial. HIGHER-ORDER AND SYMBOLIC COMPUTATION, 18, 5-6.
| Tipologia: | Articolo su rivista |
| Citazione: | Danvy, O., Henglein, F., Mairson, H., & Pettorossi, A. (2005). Higher-order and symbolic computation: editorial. HIGHER-ORDER AND SYMBOLIC COMPUTATION, 18, 5-6. |
| Lingua: | English |
| Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni |
| Revisione (peer review): | Nessuno |
| Tipo: | Editoriale |
| Rilevanza: | Rilevanza internazionale |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s10990-005-7001-x |
| Stato di pubblicazione: | Pubblicato |
| Data di pubblicazione: | 2005 |
| Titolo: | Higher-order and symbolic computation: editorial |
| Autori: | |
| Autori: | Danvy, O; Henglein, F; Mairson, H; Pettorossi, A |
| Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020