Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-16780-3_147> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 3-540-16780-3_147 author "Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer".
- 3-540-16780-3_147 date "1986-08-01".
- 3-540-16780-3_147 doi "10.1007/3-540-16780-3_147".
- 3-540-16780-3_147 isCitedBy Michael_McRobbie.
- 3-540-16780-3_147 title "The KRIPKE automated theorem proving system".
- 3-540-16780-3_147 work "8th International Conference on Automated Deduction".