Proofs, Proofs, Proofs, and Proofs

Research output: Contribution to conference (unpublished) › Paper

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 -