Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298)
From MaRDI portal
scientific article; zbMATH DE number 6455147
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* |
scientific article; zbMATH DE number 6455147 |
Statements
Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (English)
0 references
3 July 2015
0 references
