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.

The Homer System

Simon Colton, Sophie Huczynska. The Homer System. In Franz Baader, editor, Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Volume 2741 of Lecture Notes in Computer Science, pages 289-294, Springer, 2003. [doi]

Authors

Simon Colton

This author has not been identified. Look up 'Simon Colton' in Google

Sophie Huczynska

This author has not been identified. Look up 'Sophie Huczynska' in Google
runs on