Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
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