Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Mathematical Knowledge Management (vol. # 3863) Электронный ресурс 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 ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
KI 2006: Advances in Artificial Intelligence Электронный ресурс 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 | Kohlhase, Michael | Schill, Kerstin | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
3.
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Электронный ресурс Foreword by Alan Bundy edited by Michael Kohlhase.

by Kohlhase, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages