PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Riazanov, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
On the Evaluation of Indexing Techniques for Theorem Proving.

, , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 257-271. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexandre Waquet University of Stuttgart

 

Other publications of authors with the same name

Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics., , , , , and . BMC Bioinformatics, (2011)System Description: Vampire 1.0., and . ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data., , , , and . CSWS, volume 774 of CEUR Workshop Proceedings, page 19-33. CEUR-WS.org, (2011)Efficient instance retrieval with standard and relational path indexing., and . Inf. Comput., 199 (1-2): 228-252 (2005)Generating Semantic Web Services from Declarative Descriptions., , , and . CSWS, volume 1054 of CEUR Workshop Proceedings, page 33-36. CEUR-WS.org, (2013)Vampire., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 292-296. Springer, (1999)Vampire 1.1 (System Description)., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 376-380. Springer, (2001)Partially Adaptive Code Trees., and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 209-223. Springer, (2000)Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data., , , , , , and . SWAT4LS, page 106-113. ACM, (2011)New Implementation Framework for Saturation-Based Reasoning. CoRR, (2008)