External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena. Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence, 38(1-3):27-46, 2003.

Authors

Andrea Asperti

This author has not been identified. Look up 'Andrea Asperti' in Google

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google

Claudio Sacerdoti Coen

This author has not been identified. It may be one of the following persons: Look up 'Claudio Sacerdoti Coen' in Google

Ferruccio Guidi

This author has not been identified. Look up 'Ferruccio Guidi' in Google

Irene Schena

This author has not been identified. Look up 'Irene Schena' in Google
runs on