GUIDI, FERRUCCIO
GUIDI, FERRUCCIO
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.002 secondi).
Implementing type theory in higher order constraint logic programming
2019 Guidi F.; Sacerdoti Coen C.; Tassi E.
A Survey on Retrieval of Mathematical Knowledge
2016 Guidi, Ferruccio; Sacerdoti Coen, Claudio
A survey on retrieval of mathematical knowledge
2015 Guidi, Ferruccio; Sacerdoti Coen, Claudio
ELPI: Fast, embeddable, λprolog interpreter
2015 Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico
Matita 0.99.1
2012 A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Implementing type theory in higher order constraint logic programming | Guidi F.; Sacerdoti Coen C.; Tassi E. | 2019-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A Survey on Retrieval of Mathematical Knowledge | Guidi, Ferruccio; Sacerdoti Coen, Claudio | 2016-01-01 | MATHEMATICS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A survey on retrieval of mathematical knowledge | Guidi, Ferruccio; Sacerdoti Coen, Claudio | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| ELPI: Fast, embeddable, λprolog interpreter | Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Matita 0.99.1 | A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | - | - | 7.04 Software | - |
| A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |