Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 date "Apr 1988".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 first1 "Manfred".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 isCitedBy Many-sorted_logic.
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 isCitedBy Unification_(computer_science).
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 last1 "Schmidt-Schauß".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 publisher "Springer".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 series "LNAI".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 title "Computational Aspects of an Order-Sorted Logic with Term Declarations".
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 volume "395".