Extending MKM Formats at the Statement Level
In: Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, Jg. 7362 (2012), S. 65-80
Online
E-Book
Zugriff:
| Titel: |
Extending MKM Formats at the Statement Level
|
|---|---|
| Autor/in / Beteiligte Person: | Horozal, Fulya ; Kohlhase, Michael ; Rabe, Florian ; Hutchison, David [Ed.] ; Kanade, Takeo [Ed.] ; Kittler, Josef [Ed.] ; Kleinberg, Jon M. [Ed.] ; Mattern, Friedemann [Ed.] ; Mitchell, John C. [Ed.] ; Naor, Moni [Ed.] ; Nierstrasz, Oscar [Ed.] ; Pandu Rangan, C. [Ed.] ; Steffen, Bernhard [Ed.] ; Sudan, Madhu [Ed.] ; Terzopoulos, Demetri [Ed.] ; Tygar, Doug [Ed.] ; Vardi, Moshe Y. [Ed.] ; Weikum, Gerhard [Ed.] ; Goebel, Randy [Ed.] ; Siekmann, Jörg [Ed.] ; Wahlster, Wolfgang [Ed.] ; Jeuring, Johan [Ed.] ; Campbell, John A. [Ed.] ; Carette, Jacques [Ed.] ; Dos Reis, Gabriel [Ed.] ; Sojka, Petr [Ed.] ; Wenzel, Makarius [Ed.] ; Sorge, Volker [Ed.] |
| Zeitschrift: | Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, Jg. 7362 (2012), S. 65-80 |
| Veröffentlichung: | 2012 |
| Medientyp: | E-Book |
| ISBN: | 978-3-642-31373-8 (print) ; 978-3-642-31374-5 (print) |
| DOI: | 10.1007/978-3-642-31374-5_5 |
| Sonstiges: |
|