scientific article; zbMATH DE number 1951633

zbMath1022.68616MaRDI QIDQ4413886

Irene Schena, Ferruccio Guidi

Publication date: 21 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940105.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Information storage and retrieval of data (68P20)

Related Items

A survey on retrieval of mathematical knowledge ⋮ A proof-centric approach to mathematical assistants ⋮ A Review of Mathematical Knowledge Management