GUIDI, FERRUCCIO

GUIDI, FERRUCCIO  

DIP. DI SCIENZE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.002 secondi).
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 -