scientific article

zbMath0982.68130MaRDI QIDQ2767927

Christoph Schwarzweller

Publication date: 14 February 2002

Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

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

zbMATH Keywords

MIZAR language

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• Mizar

This page was built for publication: