Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-387-69166-4> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- books?vid=ISBN978-0-387-69166-4 author1 "Malay Ganai".
- books?vid=ISBN978-0-387-69166-4 author2 "Aarti Gupta".
- books?vid=ISBN978-0-387-69166-4 author3 "Dr. Aarti Gupta".
- books?vid=ISBN978-0-387-69166-4 isCitedBy DPLL_algorithm.
- books?vid=ISBN978-0-387-69166-4 isbn "978-0-387-69166-4".
- books?vid=ISBN978-0-387-69166-4 pages "23–32".
- books?vid=ISBN978-0-387-69166-4 publisher "Springer".
- books?vid=ISBN978-0-387-69166-4 title "SAT-based scalable formal verification solutions".
- books?vid=ISBN978-0-387-69166-4 year "2007".