Standard
Proofs, Proofs, Proofs, and Proofs. / Kerber, Manfred; Autexier, S; Calmet, J; Delahaye, D; Ion, P; Rideau, L; Riobo, R; Sexton, Alan.
2010. 345-354 Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, .
Research output: Contribution to conference (unpublished) › Paper
Harvard
Kerber, M, Autexier, S, Calmet, J, Delahaye, D, Ion, P, Rideau, L, Riobo, R
& Sexton, A 2010, '
Proofs, Proofs, Proofs, and Proofs', Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France,
1/01/10 pp. 345-354.
https://doi.org/10.1007/978-3-642-14128-7_30
APA
Kerber, M., Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Riobo, R.
, & Sexton, A. (2010).
Proofs, Proofs, Proofs, and Proofs. 345-354. Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, .
https://doi.org/10.1007/978-3-642-14128-7_30
Vancouver
Kerber M, Autexier S, Calmet J, Delahaye D, Ion P, Rideau L et al.
Proofs, Proofs, Proofs, and Proofs. 2010. Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, .
https://doi.org/10.1007/978-3-642-14128-7_30
Author
Kerber, Manfred ; Autexier, S ; Calmet, J ; Delahaye, D ; Ion, P ; Rideau, L ; Riobo, R
; Sexton, Alan. /
Proofs, Proofs, Proofs, and Proofs. Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, .10 p.
Bibtex
@conference{84714efd0ef14762be02cfb0ac9c9f73,
title = "Proofs, Proofs, Proofs, and Proofs",
author = "Manfred Kerber and S Autexier and J Calmet and D Delahaye and P Ion and L Rideau and R Riobo and Alan Sexton",
year = "2010",
month = jul,
day = "1",
doi = "10.1007/978-3-642-14128-7_30",
language = "English",
pages = "345--354",
note = "9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France ; Conference date: 01-01-2010",
}
RIS
TY - CONF
T1 - Proofs, Proofs, Proofs, and Proofs
AU - Kerber, Manfred
AU - Autexier, S
AU - Calmet, J
AU - Delahaye, D
AU - Ion, P
AU - Rideau, L
AU - Riobo, R
AU - Sexton, Alan
PY - 2010/7/1
Y1 - 2010/7/1
U2 - 10.1007/978-3-642-14128-7_30
DO - 10.1007/978-3-642-14128-7_30
M3 - Paper
SP - 345
EP - 354
T2 - 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France
Y2 - 1 January 2010
ER -