Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/b95238> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- b95238 doi "10.1007/b95238".
- b95238 editor1First "Enrico".
- b95238 editor1Last "Giunchiglia".
- b95238 editor2First "Armando".
- b95238 editor2Last "Tacchella".
- b95238 first1 "E.".
- b95238 first2 "A.".
- b95238 isCitedBy Boolean_satisfiability_problem.
- b95238 isbn "978-3-540-20851-8".
- b95238 last1 "Giunchiglia".
- b95238 last2 "Tacchella".
- b95238 series "Lecture Notes in Computer Science".
- b95238 title "Theory and Applications of Satisfiability Testing".
- b95238 volume "2919".
- b95238 year "2004".