Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/ccdc.2009.5191963> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- ccdc.2009.5191963 chapter "Enhancements of proof number search in connect6".
- ccdc.2009.5191963 doi "10.1109/CCDC.2009.5191963".
- ccdc.2009.5191963 first2 "Z.M.".
- ccdc.2009.5191963 isCitedBy Game_complexity.
- ccdc.2009.5191963 isbn "978-1-4244-2722-2".
- ccdc.2009.5191963 last1 "Chang-Ming Xu".
- ccdc.2009.5191963 last2 "Ma".
- ccdc.2009.5191963 last3 "Jun-Jie Tao".
- ccdc.2009.5191963 last4 "Xin-He Xu".
- ccdc.2009.5191963 pages "4525".
- ccdc.2009.5191963 title "2009 Chinese Control and Decision Conference".
- ccdc.2009.5191963 year "2009".