Matches in DBpedia 2016-04 for { <http://oda.mfo.de/bsz325106819.html> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- bsz325106819.html author J.A._Robinson.
- bsz325106819.html date "Jan 1976".
- bsz325106819.html editor "Woodrow W. Bledsoe, Michael M. Richter".
- bsz325106819.html isCitedBy Unification_(computer_science).
- bsz325106819.html series "Oberwolfach Workshop Report".
- bsz325106819.html title "Fast unification".
- bsz325106819.html title "Proc. Theorem Proving Workshop Oberwolfach".
- bsz325106819.html url bsz325106819.html.
- bsz325106819.html volume "1976/3".