Proofs, Proofs, Proofs, and Proofs

Manfred Kerber, S Autexier, J Calmet, D Delahaye, P Ion, L Rideau, R Riobo, Alan Sexton

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Original language	English
Pages	345-354
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-642-14128-7_30
Publication status	Published - 1 Jul 2010
Event	9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France - Duration: 1 Jan 2010 → …

Conference	9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France
Period	1/01/10 → …

Access to Document

@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",

}

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 -