Matches in DBpedia 2016-04 for { ?s ?p "Principles of Automated Theorem Proving" }
Showing triples 1 to 3 of
3
with 100 triples per page.
- 44ab503fecf93e5fc5e6eccf7154d551bdc2008d142992064b7bca332ad55e3c title "Principles of Automated Theorem Proving".
- 9021d4e7d36a05b07b34ef7108cac232363f5dab8615474c850c9668a47e8053 title "Principles of Automated Theorem Proving".
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 title "Principles of Automated Theorem Proving".