Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /

PSZJBL

ग्रंथसूची विवरण
मुख्य लेखकों:	Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), Kauers, Manuel, SpringerLink (Online service)
स्वरूप:
भाषा:	eng
प्रकाशित:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
विषय:	Algebra Mathematical analysis
ऑनलाइन पहुंच:	http://dx.doi.org/10.1007/978-3-540-73086-6

विवरण
सारांश:	PSZJBL

समान संसाधन