Challenges and Experiences in Managing Large-Scale Proofs : Mathematical knowledge management 2012
In: LECTURE NOTES IN COMPUTER SCIENCE (7362):32-48; (2012) 7362, S. 32-48
Konferenz
Zugriff:
Titel: |
Challenges and Experiences in Managing Large-Scale Proofs : Mathematical knowledge management 2012
|
---|---|
Autor/in / Beteiligte Person: | Bourke, T. ; Daum, M. ; Klein, G. ; Kolanski, R. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7362):32-48; (2012) 7362, S. 32-48 |
Veröffentlichung: | 2012 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|