Search

Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		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 ; 3863Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		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 ; 4180Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		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 ; 4314Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)

Powered by Koha