Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c author "David A. Duffy".
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c isCitedBy Conjunction_elimination.
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c location "New York".
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c publisher "Wiley".
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c title "Principles of Automated Theorem Proving".
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c year "1991".