Calculemus 2007, MKM 2007, & Kauers, M. (2007). Towards mechanized mathematical assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings (1st ed. 2007.). Springer Verlag. https://doi.org/10.1007/978-3-540-73086-6
Chicago-tyylinen lähdeviittausCalculemus 2007, MKM 2007, ja Manuel Kauers. Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; Proceedings. 1st ed. 2007. Berlin ; Heidelberg: Springer Verlag, 2007. https://doi.org/10.1007/978-3-540-73086-6.
MLA-viiteCalculemus 2007, et al. Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; Proceedings. 1st ed. 2007. Springer Verlag, 2007. https://doi.org/10.1007/978-3-540-73086-6.
Harvard-tyylinen lähdeviittausCalculemus 2007, MKM 2007 & Kauers, M. 2007. Towards mechanized mathematical assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings. 1st ed. 2007. Berlin ; Heidelberg: Springer Verlag.
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
