Designing Mathematical Libraries Based on Requirements for Theorems
Christoph SchwarzwellerVolume:
38
Language:
english
Pages:
17
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1023/a:1022924032739
Date:
May, 2003
File:
PDF, 104 KB
english, 2003