Matches in DBpedia 2016-04 for { <http://doi.org/10.1142/s0218213006002576> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- s0218213006002576 author2 "Bernd Fischer".
- s0218213006002576 author3 "Johan Schumann".
- s0218213006002576 doi "10.1142/s0218213006002576".
- s0218213006002576 first "Ewen".
- s0218213006002576 isCitedBy E_theorem_prover.
- s0218213006002576 issue "1".
- s0218213006002576 journal "International Journal on Artificial Intelligence Tools".
- s0218213006002576 last "Denney".
- s0218213006002576 pages "81–107".
- s0218213006002576 title "An Empirical Evaluation of Automated Theorem Provers in Software Certification".
- s0218213006002576 url "http://eprints.ecs.soton.ac.uk/12355/".
- s0218213006002576 volume "15".
- s0218213006002576 year "2006".