A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory : Mathematical knowledge management; MKM 2013
In: LECTURE NOTES IN COMPUTER SCIENCE (7961):200-215; (2013) 7961, S. 200-215
Konferenz
Zugriff:
Titel: |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory : Mathematical knowledge management; MKM 2013
|
---|---|
Autor/in / Beteiligte Person: | Lange, C. ; Caminati, M.B. ; Kerber, M. ; Mossakowski, T. ; Rowat, C. ; Wenzel, M. ; Windsteiger, W. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7961):200-215; (2013) 7961, S. 200-215 |
Veröffentlichung: | 2013 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|