Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e author "Snyder, W. and Lynch, C.".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e contribution "Goal Directed Strategies for Paramodulation".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e editor Ronald_V._Book.
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e isCitedBy Wayne_Snyder.
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e pages "150-161".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e publisher "Springer".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e series "LNCS".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e title "Rewriting Techniques and Applications, 4th Int. Conf., RTA-91".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e volume "488".
- 3d45d13ef0e834a51e948d68f26776b3336ceaef6c21e5559fa7f9e46a2ff10e year "1991".