Efficient Instance Retrieval with Standard and Relational Path Indexing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandre Riazanov, Andrei Voronkov. Efficient Instance Retrieval with Standard and Relational Path Indexing. 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 380-396, Springer, 2003. [doi]

This author has not been identified. Look up 'Alexandre Riazanov' in GoogleThis author has not been identified. It may be one of the following persons:

Andrei Voronkov

Look up 'Andrei Voronkov' in Google

runs on WebDSL