Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
PSZJBL
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-73086-6 |
| _version_ | 1826442347309694976 |
|---|---|
| author | Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria) Kauers, Manuel SpringerLink (Online service) |
| author_facet | Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria) Kauers, Manuel SpringerLink (Online service) |
| author_sort | Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria) |
| collection | OCEAN |
| description | PSZJBL |
| first_indexed | 2024-03-05T09:57:30Z |
| format | |
| id | KOHA-OAI-TEST:429296 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T09:57:30Z |
| publishDate | 2007 |
| publisher | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4292962020-12-19T17:15:19ZTowards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria) Kauers, Manuel SpringerLink (Online service) e-books Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg,2007.engPSZJBLAlgebraMathematical analysisSpringer e-bookshttp://dx.doi.org/10.1007/978-3-540-73086-6URN:ISBN:9783540730866 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Algebra Mathematical analysis Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria) Kauers, Manuel SpringerLink (Online service) Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title | Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title_full | Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title_fullStr | Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title_full_unstemmed | Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title_short | Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / |
| title_sort | towards mechanized mathematical assistants electronic resource 14th symposium calculemus 2007 6th international conference mkm 2007 hagenberg austria june 27 30 2007 proceedings |
| topic | Algebra Mathematical analysis |
| url | http://dx.doi.org/10.1007/978-3-540-73086-6 |
| work_keys_str_mv | AT calculemus20072007hagenbergimmuhlkreisaustria towardsmechanizedmathematicalassistantselectronicresource14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings AT kauersmanuel towardsmechanizedmathematicalassistantselectronicresource14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings AT springerlinkonlineservice towardsmechanizedmathematicalassistantselectronicresource14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings |