Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 author2 "Alexander Leitsch".
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 author3 Tobias_Nipkow.
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 chapter "Foreword".
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 first "Rajeev".
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 isCitedBy Conference_on_Automated_Deduction.
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 last "Goré".
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 publisher Springer_Science+Business_Media.
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 title "Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy".
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 year "2001".