Matches in DBpedia 2016-04 for { <https://www.worldcat.org/ISSN/1610-5389> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 1610-5389 date "Sep 2010".
- 1610-5389 first1 "Martin".
- 1610-5389 isCitedBy Anti-unification_(computer_science).
- 1610-5389 issn "1610-5389".
- 1610-5389 last1 "Schmidt".
- 1610-5389 publisher "Univ. Osnabrück, Germany".
- 1610-5389 series "PICS-Report".
- 1610-5389 title "Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection".
- 1610-5389 url 31-2010.pdf.
- 1610-5389 volume "31-2010".