Matches in DBpedia 2015-10 for { <http://research.microsoft.com/pubs/76532/tr-2008-181.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- tr-2008-181.pdf date "December 2008".
- tr-2008-181.pdf first1 "R.".
- tr-2008-181.pdf first2 "L.".
- tr-2008-181.pdf first3 "N.".
- tr-2008-181.pdf isCitedBy Bernays–Schönfinkel_class.
- tr-2008-181.pdf issue "2008-181".
- tr-2008-181.pdf journal "Microsoft Research Technical Report".
- tr-2008-181.pdf last1 "Piskac".
- tr-2008-181.pdf last2 "de Moura".
- tr-2008-181.pdf last3 "Bjorner".
- tr-2008-181.pdf title "Deciding Effectively Propositional Logic with Equality".
- tr-2008-181.pdf url tr-2008-181.pdf.