Mathematical Knowledge Management in HELM

Annals of Mathematics and Artificial Intelligence 2003 / 05 Vol. 38; Iss. 1-3

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
38
Language:
english
Pages:
20
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1023/a:1022907629104
Date:
May, 2003
File:
PDF, 190 KB
english, 2003
Conversion to is in progress
Conversion to is failed