Ferruccio Guidi

Ferruccio Guidi

Università di Bologna - Bologna / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1802534
University of Bologna
person_outline Ferruccio Guidi's MOST POPULAR ARTICLES
1-) Mathematical knowledge management in HELM Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003
2-) A content based mathematical search engine: Whelp Types for Proofs and Programs, 17-32, 2006
3-) ELPI: fast, embeddable, prolog interpreter Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015
4-) A survey on retrieval of mathematical knowledge Mathematics in Computer Science 10 (4), 409-427, 2016
5-) A query language for a metadata framework about mathematical resources International Conference on Mathematical Knowledge Management, 105-118, 2003