Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN0-12-170350-9> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- books?vid=ISBN0-12-170350-9 edition "[reprint]".
- books?vid=ISBN0-12-170350-9 first "Chin-Liang Chang, Richard Char-Tung".
- books?vid=ISBN0-12-170350-9 isCitedBy Resolution_(logic).
- books?vid=ISBN0-12-170350-9 isbn "0-12-170350-9".
- books?vid=ISBN0-12-170350-9 last "Lee".
- books?vid=ISBN0-12-170350-9 location "San Diego".
- books?vid=ISBN0-12-170350-9 publisher "Academic Press".
- books?vid=ISBN0-12-170350-9 title "Symbolic logic and mechanical theorem proving".
- books?vid=ISBN0-12-170350-9 year "1987".