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