| |
| 2004 | ||
|---|---|---|
| 3 | EE | Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: A Content Based Mathematical Search Engine: Whelp. TYPES 2004: 17-32 |
| 2003 | ||
| 2 | EE | Ferruccio Guidi, Irene Schena: A Query Language for a Metadata Framework about Mathematical Resources. MKM 2003: 105-118 |
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena: Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003) | |
| 1 | Andrea Asperti | [1] [3] |
| 2 | Claudio Sacerdoti Coen | [1] [3] |
| 3 | Luca Padovani | [1] |
| 4 | Irene Schena | [1] [2] |
| 5 | Enrico Tassi | [3] |
| 6 | Stefano Zacchiroli | [3] |