Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 author "Wayne Snyder".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 contribution "Higher order E-unification".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 date "Jul 1990".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 isCitedBy Wayne_Snyder.
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 pages "573-587".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 publisher "Springer".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 series "LNAI".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 title "Proc. 10th Conference on Automated Deduction".
- 97469b0161e324accd952e606b6e0aaebc3898d65bac0e246f0d861508e54d19 volume "449".