Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Matita 0.99.1
2012 A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
ELPI: Fast, embeddable, λprolog interpreter
2015 Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico
A survey on retrieval of mathematical knowledge
2015 Guidi, Ferruccio; Sacerdoti Coen, Claudio
A Survey on Retrieval of Mathematical Knowledge
2016 Guidi, Ferruccio; Sacerdoti Coen, Claudio
Implementing type theory in higher order constraint logic programming
2019 Guidi F.; Sacerdoti Coen C.; Tassi E.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
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 | - |
Matita 0.99.1 | A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | - | - | 7.04 Software | - |
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 | - |
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 | - |
A Survey on Retrieval of Mathematical Knowledge | Guidi, Ferruccio; Sacerdoti Coen, Claudio | 2016-01-01 | MATHEMATICS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
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 | - |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile