Your search returned 3 results.

Results
	1.		Image from Amazon.com	Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase. by Kohlhase, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3863Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase. by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4180Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings / edited by Christian Freksa, Michael Kohlhase, Kerstin Schill. by Freksa, Christian [editor.] Kohlhase, Michael [editor.] Schill, Kerstin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4314Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu