Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Author 
Kerber, Manfred. editor. Carette, Jacques. editor. Kaliszyk, Cezary. editor. Rabe, Florian. editor. Sorge, Volker. editor.
Preferred Shelf Number 
XX(519241.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Author 
Dubois, Catherine. editor. Kerber, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520882.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42753-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets