Your search returned 4 results.

Results
		Towards Mechanized Mathematical Assistants [Recurso electrónico] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W by Kauers, Manuel \| Kerber, Manfred \| Miner, Robert \| Windsteiger, Wolfgang \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4573Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Mathematical Knowledge Management (vol. # 4108) [Recurso electrónico] / 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings edited by Jonathan M. Borwein, William M. Farmer. by Borwein, Jonathan M \| Farmer, William M \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4108Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Mathematical Knowledge Management (vol. # 3863) [Recurso electrónico] / 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers edited by Michael Kohlhase. by Kohlhase, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3863Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [Recurso electrónico] / Foreword by Alan Bundy edited by Michael Kohlhase. by Kohlhase, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4180Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

Powered by Koha