Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d author "Martin, U., Nipkow, T.".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d chapter "Unification in Boolean Rings".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d editor "Jörg H. Siekmann".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d isCitedBy Boolean_ring.
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d isCitedBy Unification_(computer_science).
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d pages "506–513".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d publisher "Springer".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d series "LNCS".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d title "Proc. 8th CADE".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d volume "230".
- c0d12dbcfb15e38b4677b5dbf6b054cd2207b924b3c4019793029b67570c2d4d year "1986".