Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-39634-2_14> ?p ?o }
Showing triples 1 to 20 of
20
with 100 triples per page.
- 978-3-642-39634-2_14 chapter "A Machine-Checked Proof of the Odd Order Theorem".
- 978-3-642-39634-2_14 displayAuthors "1".
- 978-3-642-39634-2_14 doi "10.1007/978-3-642-39634-2_14".
- 978-3-642-39634-2_14 editorFirst1 "S.".
- 978-3-642-39634-2_14 editorFirst2 "C.".
- 978-3-642-39634-2_14 editorFirst3 "D.".
- 978-3-642-39634-2_14 editorLast1 "Blazy".
- 978-3-642-39634-2_14 editorLast2 "Paulin-Mohring".
- 978-3-642-39634-2_14 editorLast3 "Pichardie".
- 978-3-642-39634-2_14 first1 "G.".
- 978-3-642-39634-2_14 first2 "A.".
- 978-3-642-39634-2_14 isCitedBy Automated_reasoning.
- 978-3-642-39634-2_14 isbn "978-3-642-39633-5".
- 978-3-642-39634-2_14 last1 "Gonthier".
- 978-3-642-39634-2_14 last2 "Asperti".
- 978-3-642-39634-2_14 pages "163–179".
- 978-3-642-39634-2_14 series "Lecture Notes in Computer Science".
- 978-3-642-39634-2_14 title "Interactive Theorem Proving".
- 978-3-642-39634-2_14 volume "7998".
- 978-3-642-39634-2_14 year "2013".