Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
Author 
Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11826095
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
Author 
Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69912-5
Format: 
Availability 
Online Library~1
Available:
Copies: