Matches in DBpedia 2015-10 for { <http://www.cis.upenn.edu/~jean/gbooks/logic.html> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- logic.html first "Jean H.".
- logic.html isCitedBy Automated_theorem_proving.
- logic.html isCitedBy Resolution_(logic).
- logic.html last "Gallier".
- logic.html publisher Harper_&_Row_Publishers.
- logic.html publisher "Harper & Row Publishers".
- logic.html title "Logic for Computer Science: Foundations of Automatic Theorem Proving".
- logic.html url logic.html.
- logic.html year "1986".