scientific article; zbMATH DE number 1951625

zbMath1022.68609MaRDI QIDQ4413877

Andrew A. Adams

Publication date: 21 July 2003

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Integrating searching and authoring in Mizar ⋮ A Review of Mathematical Knowledge Management ⋮ Natural Deduction Environment for Matita